ePMC

Benchmark
Model:kanban v.1 (CTMC)
Parameter(s)t = 5
Property:throughput (steady-state-reward)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files kanban.prism --model-input-type prism --property-input-files kanban.props --property-input-names throughput --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const t=5
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property throughput
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 32533 32532
build-model-states-explored 69829 37297
build-model-states-explored 108169 38340
build-model-states-explored 146003 37834
build-model-states-explored 196687 50684
build-model-states-explored 241842 45155
build-model-states-explored 287925 46083
build-model-states-explored 338691 50766
build-model-states-explored 393490 54798
build-model-states-explored 452538 59048
build-model-states-explored 497528 44991
build-model-states-explored 549332 51804
build-model-states-explored 607483 58151
build-model-states-explored 665740 58256
build-model-states-explored 722104 56364
build-model-states-explored 779137 57033
build-model-states-explored 836042 56905
build-model-states-explored 893599 57557
build-model-states-explored 924550 30951
build-model-states-explored 981087 56537
build-model-states-explored 1038984 57897
build-model-states-explored 1082226 43242
build-model-states-explored 1139242 57016
build-model-states-explored 1195506 56264
build-model-states-explored 1251335 55828
build-model-states-explored 1309348 58014
build-model-states-explored 1363975 54627
build-model-states-explored 1421327 57352
build-model-states-explored 1473734 52407
build-model-states-explored 1531354 57620
build-model-states-explored 1587602 56247
build-model-states-explored 1643011 55409
build-model-states-explored 1700891 57879
build-model-states-explored 1737284 36394
build-model-states-explored 1760706 23421
build-model-states-explored 1819415 58710
build-model-states-explored 1875306 55891
build-model-states-explored 1933661 58354
build-model-states-explored 1990720 57060
build-model-states-explored 2048884 58163
build-model-states-explored 2097152 48269
build-model-states-explored 2140052 42899
build-model-states-explored 2199937 59885
build-model-states-explored 2258631 58693
build-model-states-explored 2318664 60033
build-model-states-explored 2379707 61043
build-model-states-explored 2442532 62825
build-model-states-explored 2507975 65443
build-model-done 2546432 48
iterating
iterating-progress-unbounded 7 6.2320261437908515 1
iterating-progress-unbounded 19 1.0478133825605733 2
iterating-progress-unbounded 31 0.3604124856542768 3
iterating-progress-unbounded 43 0.1955548246154737 4
iterating-progress-unbounded 55 0.1231566834024871 5
iterating-progress-unbounded 67 0.08416716006482018 6
iterating-progress-unbounded 79 0.060774240856829885 7
iterating-progress-unbounded 91 0.045810924499339684 8
iterating-progress-unbounded 103 0.035762628155198775 9
iterating-progress-unbounded 115 0.028585796229209443 10
iterating-progress-unbounded 127 0.023307734229247326 11
iterating-progress-unbounded 139 0.01932381314342229 12
iterating-progress-unbounded 150 0.016517691243764364 13
iterating-progress-unbounded 162 0.01413139780831222 14
iterating-progress-unbounded 174 0.012216915196799603 15
iterating-progress-unbounded 186 0.010703862375740657 16
iterating-progress-unbounded 198 0.00945232138410964 17
iterating-progress-unbounded 210 0.008408320933998795 18
iterating-progress-unbounded 222 0.007548536733665944 19
iterating-progress-unbounded 234 0.0068131410069978485 20
iterating-progress-unbounded 246 0.006192482331453451 21
iterating-progress-unbounded 258 0.005656567793770075 22
iterating-progress-unbounded 270 0.0051971188705180645 23
iterating-progress-unbounded 282 0.00479106411554363 24
iterating-progress-unbounded 294 0.00442983221466625 25
iterating-progress-unbounded 306 0.0041068176031649 26
iterating-progress-unbounded 317 0.003839671284455855 27
iterating-progress-unbounded 329 0.0035756555029194336 28
iterating-progress-unbounded 341 0.003337161209319222 29
iterating-progress-unbounded 353 0.0031250672746690007 30
iterating-progress-unbounded 365 0.002931419320545947 31
iterating-progress-unbounded 377 0.0027540945312587396 32
iterating-progress-unbounded 389 0.002591289175445044 33
iterating-progress-unbounded 401 0.0024414600378484513 34
iterating-progress-unbounded 413 0.0023041330030094667 35
iterating-progress-unbounded 425 0.002177846784386872 36
iterating-progress-unbounded 437 0.002060856391578118 37
iterating-progress-unbounded 449 0.001952299675861229 38
iterating-progress-unbounded 460 0.0018595927407345243 39
iterating-progress-unbounded 472 0.001765633735828568 40
iterating-progress-unbounded 484 0.001678065006459419 41
iterating-progress-unbounded 496 0.001596352120469279 42
iterating-progress-unbounded 508 0.001520153713015849 43
iterating-progress-unbounded 520 0.0014488923928924892 44
iterating-progress-unbounded 532 0.0013822044962253782 45
iterating-progress-unbounded 544 0.001319701219806717 46
iterating-progress-unbounded 556 0.001261063991265689 47
iterating-progress-unbounded 568 0.0012060028672779826 48
iterating-progress-unbounded 580 0.001154253387722121 49
iterating-progress-unbounded 592 0.0011055738722906957 50
iterating-progress-unbounded 604 0.0010597430818261087 51
iterating-progress-unbounded 616 0.0010165581822548279 52
iterating-progress-unbounded 627 9.79137054217258E-4 53
iterating-progress-unbounded 639 9.405158364531613E-4 54
iterating-progress-unbounded 651 9.040382701755066E-4 55
iterating-progress-unbounded 663 8.695582876530861E-4 56
iterating-progress-unbounded 675 8.369412282823716E-4 57
iterating-progress-unbounded 687 8.060628396359649E-4 58
iterating-progress-unbounded 699 7.768083792835598E-4 59
iterating-progress-unbounded 711 7.490718048814081E-4 60
iterating-progress-unbounded 723 7.227550419940268E-4 61
iterating-progress-unbounded 735 6.977673207372473E-4 62
iterating-progress-unbounded 747 6.74024573613888E-4 63
iterating-progress-unbounded 759 6.514488879972974E-4 64
iterating-progress-unbounded 771 6.299680075765827E-4 65
iterating-progress-unbounded 782 6.111816005225949E-4 66
iterating-progress-unbounded 794 5.91615765257442E-4 67
iterating-progress-unbounded 806 5.729622153224231E-4 68
iterating-progress-unbounded 818 5.551668264560721E-4 69
iterating-progress-unbounded 830 5.381792440147684E-4 70
iterating-progress-unbounded 842 5.219525904564149E-4 71
iterating-progress-unbounded 854 5.064431973304708E-4 72
iterating-progress-unbounded 866 4.916103595730434E-4 73
iterating-progress-unbounded 878 4.774161101320318E-4 74
iterating-progress-unbounded 890 4.638250131286228E-4 75
iterating-progress-unbounded 902 4.508039739406037E-4 76
iterating-progress-unbounded 914 4.3832206473309713E-4 77
iterating-progress-unbounded 925 4.273291908184288E-4 78
iterating-progress-unbounded 937 4.158013649175848E-4 79
iterating-progress-unbounded 949 4.047333950288269E-4 80
iterating-progress-unbounded 961 3.941014119373436E-4 81
iterating-progress-unbounded 973 3.8388303922667997E-4 82
iterating-progress-unbounded 985 3.740572866602328E-4 83
iterating-progress-unbounded 997 3.6460445192542594E-4 84
iterating-progress-unbounded 1009 3.5550603003416386E-4 85
iterating-progress-unbounded 1021 3.4674462974483697E-4 86
iterating-progress-unbounded 1033 3.383038964270028E-4 87
iterating-progress-unbounded 1045 3.301684408312934E-4 88
iterating-progress-unbounded 1057 3.223237732846732E-4 89
iterating-progress-unbounded 1069 3.147562428664481E-4 90
iterating-progress-unbounded 1081 3.074529811541005E-4 91
iterating-progress-unbounded 1092 3.009800983055044E-4 92
iterating-progress-unbounded 1104 2.94150007807136E-4 93
iterating-progress-unbounded 1116 2.8755065244877266E-4 94
iterating-progress-unbounded 1128 2.811717622480381E-4 95
iterating-progress-unbounded 1140 2.750036282302699E-4 96
iterating-progress-unbounded 1152 2.69037066623951E-4 97
iterating-progress-unbounded 1164 2.632633856292888E-4 98
iterating-progress-unbounded 1176 2.576743545527467E-4 99
iterating-progress-unbounded 1188 2.5226217512777877E-4 100
iterating-progress-unbounded 1200 2.470194548521138E-4 101
iterating-progress-unbounded 1212 2.4193918218229772E-4 102
iterating-progress-unbounded 1223 2.3741928251112474E-4 103
iterating-progress-unbounded 1235 2.3263205746662096E-4 104
iterating-progress-unbounded 1247 2.2798879656367E-4 105
iterating-progress-unbounded 1259 2.2348377238517027E-4 106
iterating-progress-unbounded 1271 2.1911153916212925E-4 107
iterating-progress-unbounded 1283 2.1486691641907688E-4 108
iterating-progress-unbounded 1295 2.1074497370531832E-4 109
iterating-progress-unbounded 1307 2.0674101632660834E-4 110
iterating-progress-unbounded 1319 2.028505720084059E-4 111
iterating-progress-unbounded 1331 1.9906937842091598E-4 112
iterating-progress-unbounded 1343 1.9539337150683872E-4 113
iterating-progress-unbounded 1355 1.9181867455016145E-4 114
iterating-progress-unbounded 1367 1.8834158793795415E-4 115
iterating-progress-unbounded 1379 1.8495857956241123E-4 116
iterating-progress-unbounded 1390 1.8193724967389394E-4 117
iterating-progress-unbounded 1402 1.7872525653470344E-4 118
iterating-progress-unbounded 1414 1.7559791461742357E-4 119
iterating-progress-unbounded 1426 1.7255226624919443E-4 120
iterating-progress-unbounded 1438 1.6958548201347664E-4 121
iterating-progress-unbounded 1450 1.6669485413889167E-4 122
iterating-progress-unbounded 1462 1.6387779027911503E-4 123
iterating-progress-unbounded 1474 1.6113180766083243E-4 124
iterating-progress-unbounded 1486 1.5845452757176724E-4 125
iterating-progress-unbounded 1498 1.558436701703229E-4 126
iterating-progress-unbounded 1510 1.5329704959357875E-4 127
iterating-progress-unbounded 1521 1.5101728557990188E-4 128
iterating-progress-unbounded 1533 1.4858799826578573E-4 129
iterating-progress-unbounded 1545 1.4621706710935098E-4 130
iterating-progress-unbounded 1557 1.4390263229078278E-4 131
iterating-progress-unbounded 1569 1.416429076555129E-4 132
iterating-progress-unbounded 1581 1.3943617723829842E-4 133
iterating-progress-unbounded 1593 1.3728079197450403E-4 134
iterating-progress-unbounded 1605 1.3517516659077575E-4 135
iterating-progress-unbounded 1617 1.3311777666378112E-4 136
iterating-progress-unbounded 1629 1.3110715583380093E-4 137
iterating-progress-unbounded 1641 1.2914189316945305E-4 138
iterating-progress-unbounded 1652 1.2737908754294246E-4 139
iterating-progress-unbounded 1664 1.2549700877455738E-4 140
iterating-progress-unbounded 1676 1.2365646672857157E-4 141
iterating-progress-unbounded 1688 1.2185624468946654E-4 142
iterating-progress-unbounded 1700 1.2009517026978674E-4 143
iterating-progress-unbounded 1712 1.183721134817361E-4 144
iterating-progress-unbounded 1724 1.1668598490957712E-4 145
iterating-progress-unbounded 1736 1.150357339687936E-4 146
iterating-progress-unbounded 1748 1.1342034725542681E-4 147
iterating-progress-unbounded 1760 1.1183884697593737E-4 148
iterating-progress-unbounded 1772 1.1029028945211807E-4 149
iterating-progress-unbounded 1784 1.0877376370193865E-4 150
iterating-progress-unbounded 1795 1.0741100230744077E-4 151
iterating-progress-unbounded 1807 1.0595343776647595E-4 152
iterating-progress-unbounded 1819 1.0452542234499389E-4 153
iterating-progress-unbounded 1831 1.0312616068815336E-4 154
iterating-progress-unbounded 1843 1.0175488407995076E-4 155
iterating-progress-unbounded 1855 1.0041084937780973E-4 156
iterating-progress-unbounded 1867 9.909333799687644E-5 157
iterating-progress-unbounded 1879 9.780165494143117E-5 158
iterating-progress-unbounded 1891 9.653512787849157E-5 159
iterating-progress-unbounded 1903 9.529310625729255E-5 160
iterating-progress-unbounded 1915 9.407496046404557E-5 161
iterating-progress-unbounded 1926 9.297878018656104E-5 162
iterating-progress-unbounded 1938 9.180470936930122E-5 163
iterating-progress-unbounded 1950 9.065279022919961E-5 164
iterating-progress-unbounded 1962 8.952246773986895E-5 165
iterating-progress-unbounded 1974 8.841320418491531E-5 166
iterating-progress-unbounded 1986 8.732447851247287E-5 167
iterating-progress-unbounded 1998 8.625578571926139E-5 168
iterating-progress-unbounded 2010 8.520663625986115E-5 169
iterating-progress-unbounded 2022 8.41765554809343E-5 170
iterating-progress-unbounded 2034 8.316508307969049E-5 171
iterating-progress-unbounded 2046 8.21717725865772E-5 172
iterating-progress-unbounded 2058 8.119619086761318E-5 173
iterating-progress-unbounded 2070 8.02379176492851E-5 174
iterating-progress-unbounded 2082 7.929654506136678E-5 175
iterating-progress-unbounded 2093 7.844812858672862E-5 176
iterating-progress-unbounded 2105 7.75380521365744E-5 177
iterating-progress-unbounded 2117 7.664375352817876E-5 178
iterating-progress-unbounded 2129 7.57648694255001E-5 179
iterating-progress-unbounded 2141 7.490104690921793E-5 180
iterating-progress-unbounded 2153 7.405194312149724E-5 181
iterating-progress-unbounded 2165 7.321722492308378E-5 182
iterating-progress-unbounded 2177 7.23965685632463E-5 183
iterating-progress-unbounded 2189 7.158965936337894E-5 184
iterating-progress-unbounded 2201 7.07961914152114E-5 185
iterating-progress-unbounded 2212 7.00803993860779E-5 186
iterating-progress-unbounded 2224 6.931186947515806E-5 187
iterating-progress-unbounded 2236 6.855593598194319E-5 188
iterating-progress-unbounded 2248 6.78123246328951E-5 189
iterating-progress-unbounded 2260 6.70807685920141E-5 190
iterating-progress-unbounded 2272 6.636100821981716E-5 191
iterating-progress-unbounded 2284 6.565279083922145E-5 192
iterating-progress-unbounded 2296 6.495587051544142E-5 193
iterating-progress-unbounded 2308 6.427000783949252E-5 194
iterating-progress-unbounded 2320 6.359496971998805E-5 195
iterating-progress-unbounded 2332 6.293052918625937E-5 196
iterating-progress-unbounded 2344 6.227646519424998E-5 197
iterating-progress-unbounded 2355 6.168583805655473E-5 198
iterating-progress-unbounded 2367 6.105106539394499E-5 199
iterating-progress-unbounded 2379 6.042605671574753E-5 200
iterating-progress-unbounded 2391 5.981061247343583E-5 201
iterating-progress-unbounded 2403 5.9204538198009147E-5 202
iterating-progress-unbounded 2415 5.860764434600219E-5 203
iterating-progress-unbounded 2427 5.80197461490221E-5 204
iterating-progress-unbounded 2439 5.74406634714178E-5 205
iterating-progress-unbounded 2451 5.68702206703032E-5 206
iterating-progress-unbounded 2463 5.6308246462285995E-5 207
iterating-progress-unbounded 2475 5.5754573793242556E-5 208
iterating-progress-unbounded 2487 5.52090397143346E-5 209
iterating-progress-unbounded 2499 5.467148526100581E-5 210
iterating-progress-unbounded 2511 5.414175533626853E-5 211
iterating-progress-unbounded 2522 5.366291388143071E-5 212
iterating-progress-unbounded 2534 5.314776106539286E-5 213
iterating-progress-unbounded 2546 5.2640001467794755E-5 214
iterating-progress-unbounded 2558 5.213949409194513E-5 215
iterating-progress-unbounded 2570 5.164610129166378E-5 216
iterating-progress-unbounded 2582 5.1159688674000804E-5 217
iterating-progress-unbounded 2594 5.068012500976008E-5 218
iterating-progress-unbounded 2606 5.0207282143360516E-5 219
iterating-progress-unbounded 2618 4.9741034905948964E-5 220
iterating-progress-unbounded 2630 4.928126103347254E-5 221
iterating-progress-unbounded 2642 4.882784108572731E-5 222
iterating-progress-unbounded 2654 4.838065836756169E-5 223
iterating-progress-unbounded 2666 4.793959885403937E-5 224
iterating-progress-unbounded 2677 4.754057815301217E-5 225
iterating-progress-unbounded 2689 4.711094548523378E-5 226
iterating-progress-unbounded 2701 4.6687118027431804E-5 227
iterating-progress-unbounded 2713 4.62689915315052E-5 228
iterating-progress-unbounded 2725 4.585646408072951E-5 229
iterating-progress-unbounded 2737 4.5449436028847446E-5 230
iterating-progress-unbounded 2749 4.504780993896506E-5 231
iterating-progress-unbounded 2761 4.465149052590813E-5 232
iterating-progress-unbounded 2773 4.426038459792535E-5 233
iterating-progress-unbounded 2785 4.3874401003013354E-5 234
iterating-progress-unbounded 2797 4.349345057442307E-5 235
iterating-progress-unbounded 2809 4.311744607947459E-5 236
iterating-progress-unbounded 2821 4.274630217004802E-5 237
iterating-progress-unbounded 2832 4.2410285449976314E-5 238
iterating-progress-unbounded 2844 4.204822575804338E-5 239
iterating-progress-unbounded 2856 4.169078802876316E-5 240
iterating-progress-unbounded 2868 4.133789383713827E-5 241
iterating-progress-unbounded 2880 4.0989466415762034E-5 242
iterating-progress-unbounded 2892 4.0645430613652444E-5 243
iterating-progress-unbounded 2904 4.03057128559201E-5 244
iterating-progress-unbounded 2916 3.997024110281893E-5 245
iterating-progress-unbounded 2928 3.96389448131949E-5 246
iterating-progress-unbounded 2940 3.931175490559652E-5 247
iterating-progress-unbounded 2952 3.898860372331635E-5 248
iterating-progress-unbounded 2964 3.866942499819182E-5 249
iterating-progress-unbounded 2976 3.835415381820296E-5 250
iterating-progress-unbounded 2988 3.8042726591715735E-5 251
iterating-progress-unbounded 2999 3.7760575208617897E-5 252
iterating-progress-unbounded 3011 3.7456342495220825E-5 253
iterating-progress-unbounded 3023 3.715577551490932E-5 254
iterating-progress-unbounded 3035 3.6858815552596774E-5 255
iterating-progress-unbounded 3047 3.656540506501784E-5 256
iterating-progress-unbounded 3059 3.627548765331991E-5 257
iterating-progress-unbounded 3071 3.5989008034893386E-5 258
iterating-progress-unbounded 3083 3.5705912017996956E-5 259
iterating-progress-unbounded 3095 3.5426146475457654E-5 260
iterating-progress-unbounded 3107 3.514965931922611E-5 261
iterating-progress-unbounded 3119 3.487639947764051E-5 262
iterating-progress-unbounded 3131 3.460631686944617E-5 263
iterating-progress-unbounded 3142 3.436149029470724E-5 264
iterating-progress-unbounded 3154 3.409736091734031E-5 265
iterating-progress-unbounded 3166 3.383626815610055E-5 266
iterating-progress-unbounded 3178 3.3578165597745026E-5 267
iterating-progress-unbounded 3190 3.332300771332014E-5 268
iterating-progress-unbounded 3202 3.3070749838250255E-5 269
iterating-progress-unbounded 3214 3.282134815202624E-5 270
iterating-progress-unbounded 3226 3.2574759659500943E-5 271
iterating-progress-unbounded 3238 3.233094217287429E-5 272
iterating-progress-unbounded 3250 3.208985429161679E-5 273
iterating-progress-unbounded 3262 3.185145538722614E-5 274
iterating-progress-unbounded 3273 3.163525118015677E-5 275
iterating-progress-unbounded 3285 3.1401895321494263E-5 276
iterating-progress-unbounded 3297 3.117111418341487E-5 277
iterating-progress-unbounded 3309 3.094286999541377E-5 278
iterating-progress-unbounded 3321 3.0717125677686286E-5 279
iterating-progress-unbounded 3333 3.049384482556967E-5 280
iterating-progress-unbounded 3345 3.027299169583279E-5 281
iterating-progress-unbounded 3357 3.0054531191137524E-5 282
iterating-progress-unbounded 3369 2.983842884713751E-5 283
iterating-progress-unbounded 3381 2.9624650817378572E-5 284
iterating-progress-unbounded 3393 2.9413163862094084E-5 285
iterating-progress-unbounded 3405 2.920393533382222E-5 286
iterating-progress-unbounded 3417 2.8996933164107718E-5 287
iterating-progress-unbounded 3428 2.8809110056626926E-5 288
iterating-progress-unbounded 3440 2.860628750211687E-5 289
iterating-progress-unbounded 3452 2.8405600974185194E-5 290
iterating-progress-unbounded 3464 2.8207020560239312E-5 291
iterating-progress-unbounded 3476 2.8010516870184048E-5 292
iterating-progress-unbounded 3488 2.781606102530385E-5 293
iterating-progress-unbounded 3500 2.7623624647188578E-5 294
iterating-progress-unbounded 3512 2.7433179847962145E-5 295
iterating-progress-unbounded 3524 2.724469921986983E-5 296
iterating-progress-unbounded 3536 2.70581558252545E-5 297
iterating-progress-unbounded 3548 2.6873523187327078E-5 298
iterating-progress-unbounded 3560 2.6690775279385615E-5 299
iterating-progress-unbounded 3572 2.650988651761889E-5 300
iterating-progress-unbounded 3584 2.633083175134442E-5 301
iterating-progress-unbounded 3595 2.6168288203611012E-5 302
iterating-progress-unbounded 3607 2.599267983498108E-5 303
iterating-progress-unbounded 3619 2.5818834496096183E-5 304
iterating-progress-unbounded 3631 2.56467286488878E-5 305
iterating-progress-unbounded 3643 2.5476339147654647E-5 306
iterating-progress-unbounded 3655 2.5307643229669852E-5 307
iterating-progress-unbounded 3667 2.514061850998183E-5 308
iterating-progress-unbounded 3679 2.497524297090446E-5 309
iterating-progress-unbounded 3691 2.4811494957815907E-5 310
iterating-progress-unbounded 3703 2.4649353169970008E-5 311
iterating-progress-unbounded 3714 2.450211631994145E-5 312
iterating-progress-unbounded 3726 2.4342994854298393E-5 313
iterating-progress-unbounded 3738 2.418541944680067E-5 314
iterating-progress-unbounded 3750 2.402937012043946E-5 315
iterating-progress-unbounded 3762 2.3874827219027715E-5 316
iterating-progress-unbounded 3774 2.3721771402839106E-5 317
iterating-progress-unbounded 3786 2.357018364094717E-5 318
iterating-progress-unbounded 3798 2.3420045206640043E-5 319
iterating-progress-unbounded 3810 2.327133767106857E-5 320
iterating-progress-unbounded 3822 2.3124042897131936E-5 321
iterating-progress-unbounded 3834 2.297814303422964E-5 322
iterating-progress-unbounded 3846 2.2833620514074032E-5 323
iterating-progress-unbounded 3858 2.269045804297829E-5 324
iterating-progress-unbounded 3869 2.256040600041642E-5 325
iterating-progress-unbounded 3881 2.2419802937357096E-5 326
iterating-progress-unbounded 3893 2.228051101314278E-5 327
iterating-progress-unbounded 3905 2.2142513966395925E-5 328
iterating-progress-unbounded 3917 2.2005795787412438E-5 329
iterating-progress-unbounded 3929 2.1870340712709354E-5 330
iterating-progress-unbounded 3941 2.173613322184741E-5 331
iterating-progress-unbounded 3953 2.160315803144972E-5 332
iterating-progress-unbounded 3965 2.1471400092130526E-5 333
iterating-progress-unbounded 3977 2.134084458349923E-5 334
iterating-progress-unbounded 3989 2.1211476910164664E-5 335
iterating-progress-unbounded 4001 2.108328269764584E-5 336
iterating-progress-unbounded 4013 2.0956247788369854E-5 337
iterating-progress-unbounded 4025 2.08303582377534E-5 338
iterating-progress-unbounded 4036 2.071595391429183E-5 339
iterating-progress-unbounded 4048 2.0592221417498074E-5 340
iterating-progress-unbounded 4060 2.046959478867194E-5 341
iterating-progress-unbounded 4072 2.03480608810608E-5 342
iterating-progress-unbounded 4084 2.0227606743372905E-5 343
iterating-progress-unbounded 4096 2.0108219615360177E-5 344
iterating-progress-unbounded 4108 1.9989886924423053E-5 345
iterating-progress-unbounded 4120 1.9872596283315898E-5 346
iterating-progress-unbounded 4132 1.9756335485988523E-5 347
iterating-progress-unbounded 4144 1.9641092504554998E-5 348
iterating-progress-unbounded 4156 1.9526855487039026E-5 349
iterating-progress-unbounded 4168 1.941361275263113E-5 350
iterating-progress-unbounded 4180 1.930135278969806E-5 351
iterating-progress-unbounded 4191 1.9199301469364165E-5 352
iterating-progress-unbounded 4203 1.9088893580885045E-5 353
iterating-progress-unbounded 4215 1.8979435828658477E-5 354
iterating-progress-unbounded 4227 1.8870917336129462E-5 355
iterating-progress-unbounded 4239 1.876332738150611E-5 356
iterating-progress-unbounded 4251 1.865665539663134E-5 357
iterating-progress-unbounded 4263 1.8550890962685347E-5 358
iterating-progress-unbounded 4275 1.8446023808484324E-5 359
iterating-progress-unbounded 4287 1.8342043807812597E-5 360
iterating-progress-unbounded 4299 1.8238940977139317E-5 361
iterating-progress-unbounded 4311 1.813670547254879E-5 362
iterating-progress-unbounded 4323 1.8035327588390048E-5 363
iterating-progress-unbounded 4334 1.794314308082876E-5 364
iterating-progress-unbounded 4346 1.7843382332293888E-5 365
iterating-progress-unbounded 4358 1.7744451661183238E-5 366
iterating-progress-unbounded 4370 1.7646341879437534E-5 367
iterating-progress-unbounded 4382 1.754904392550747E-5 368
iterating-progress-unbounded 4394 1.745254886325516E-5 369
iterating-progress-unbounded 4406 1.7356847878533416E-5 370
iterating-progress-unbounded 4418 1.7261932278218352E-5 371
iterating-progress-unbounded 4430 1.716779348806408E-5 372
iterating-progress-unbounded 4442 1.7074423050697128E-5 373
iterating-progress-unbounded 4454 1.6981812622793443E-5 374
iterating-progress-unbounded 4466 1.6889953974657808E-5 375
iterating-progress-unbounded 4477 1.6806403695621922E-5 376
iterating-progress-unbounded 4489 1.6715963359199452E-5 377
iterating-progress-unbounded 4501 1.6626251427131474E-5 378
iterating-progress-unbounded 4513 1.6537260094734576E-5 379
iterating-progress-unbounded 4525 1.6448981661477925E-5 380
iterating-progress-unbounded 4537 1.63614085300965E-5 381
iterating-progress-unbounded 4549 1.6274533203535077E-5 382
iterating-progress-unbounded 4561 1.6188348284078323E-5 383
iterating-progress-unbounded 4573 1.6102846472680187E-5 384
iterating-progress-unbounded 4585 1.6018020565716334E-5 385
iterating-progress-unbounded 4597 1.5933863455099316E-5 386
iterating-progress-unbounded 4609 1.5850368125048137E-5 387
iterating-progress-unbounded 4621 1.5767527652191417E-5 388
iterating-progress-unbounded 4632 1.5692159988321485E-5 389
iterating-progress-unbounded 4644 1.561055563454965E-5 390
iterating-progress-unbounded 4656 1.5529586455560702E-5 391
iterating-progress-unbounded 4668 1.5449245873242997E-5 392
iterating-progress-unbounded 4680 1.536952739506514E-5 393
iterating-progress-unbounded 4692 1.529042461183408E-5 394
iterating-progress-unbounded 4704 1.5211931197326551E-5 395
iterating-progress-unbounded 4715 1.5140508878180121E-5 396
iterating-progress-unbounded 4727 1.5063166030726685E-5 397
iterating-progress-unbounded 4739 1.4986414557190749E-5 398
iterating-progress-unbounded 4751 1.4910248441917027E-5 399
iterating-progress-unbounded 4763 1.4834661745004199E-5 400
iterating-progress-unbounded 4775 1.4759648602011115E-5 401
iterating-progress-unbounded 4787 1.4685203221751641E-5 402
iterating-progress-unbounded 4799 1.4611319887543415E-5 403
iterating-progress-unbounded 4811 1.453799295309411E-5 404
iterating-progress-unbounded 4823 1.4465216843039148E-5 405
iterating-progress-unbounded 4835 1.4392986052622428E-5 406
iterating-progress-unbounded 4847 1.4321295144307053E-5 407
iterating-progress-unbounded 4859 1.4250138749732726E-5 408
iterating-progress-unbounded 4871 1.4179511566366078E-5 409
iterating-progress-unbounded 4882 1.4115230404561596E-5 410
iterating-progress-unbounded 4894 1.4045602958947601E-5 411
iterating-progress-unbounded 4906 1.3976489629929283E-5 412
iterating-progress-unbounded 4918 1.3907885366321477E-5 413
iterating-progress-unbounded 4930 1.3839785178998833E-5 414
iterating-progress-unbounded 4942 1.3772184139830177E-5 415
iterating-progress-unbounded 4954 1.3705077380639743E-5 416
iterating-progress-unbounded 4966 1.3638460093056868E-5 417
iterating-progress-unbounded 4978 1.3572327526198814E-5 418
iterating-progress-unbounded 4990 1.3506674987430874E-5 419
iterating-progress-unbounded 5002 1.3441497840033923E-5 420
iterating-progress-unbounded 5014 1.3376791503930081E-5 421
iterating-progress-unbounded 5026 1.3312551454204916E-5 422
iterating-progress-unbounded 5037 1.3254070541200979E-5 423
iterating-progress-unbounded 5049 1.3190711754281842E-5 424
iterating-progress-unbounded 5061 1.3127806361328334E-5 425
iterating-progress-unbounded 5073 1.3065350045691446E-5 426
iterating-progress-unbounded 5085 1.300333854054286E-5 427
iterating-progress-unbounded 5097 1.294176763108707E-5 428
iterating-progress-unbounded 5109 1.288063315162382E-5 429
iterating-progress-unbounded 5121 1.2819930985555507E-5 430
iterating-progress-unbounded 5133 1.2759657065340794E-5 431
iterating-progress-unbounded 5145 1.2699807370308218E-5 432
iterating-progress-unbounded 5157 1.2640377927441282E-5 433
iterating-progress-unbounded 5168 1.2586266763475111E-5 434
iterating-progress-unbounded 5180 1.2527631867257136E-5 435
iterating-progress-unbounded 5192 1.2469405897617958E-5 436
iterating-progress-unbounded 5204 1.2411585059546152E-5 437
iterating-progress-unbounded 5216 1.2354165601967263E-5 438
iterating-progress-unbounded 5228 1.2297143817143938E-5 439
iterating-progress-unbounded 5240 1.224051604003097E-5 440
iterating-progress-unbounded 5252 1.2184278647776637E-5 441
iterating-progress-unbounded 5264 1.212842805919725E-5 442
iterating-progress-unbounded 5276 1.2072960733384817E-5 443
iterating-progress-unbounded 5288 1.2017873171280957E-5 444
iterating-progress-unbounded 5300 1.1963161912439951E-5 445
iterating-progress-unbounded 5312 1.1908823535858169E-5 446
iterating-progress-unbounded 5323 1.1859338035210849E-5 447
iterating-progress-unbounded 5335 1.180570493024101E-5 448
iterating-progress-unbounded 5347 1.1752434950436526E-5 449
iterating-progress-unbounded 5359 1.1699524823758506E-5 450
iterating-progress-unbounded 5371 1.1646971315679936E-5 451
iterating-progress-unbounded 5383 1.1594771227354953E-5 452
iterating-progress-unbounded 5395 1.1542921395893088E-5 453
iterating-progress-unbounded 5407 1.1491418693735419E-5 454
iterating-progress-unbounded 5419 1.1440260028147979E-5 455
iterating-progress-unbounded 5431 1.1389442340749203E-5 456
iterating-progress-unbounded 5443 1.1338962607269047E-5 457
iterating-progress-unbounded 5455 1.12888178363085E-5 458
iterating-progress-unbounded 5467 1.1239005070348999E-5 459
iterating-progress-unbounded 5478 1.1193632526103976E-5 460
iterating-progress-unbounded 5490 1.1144447953630122E-5 461
iterating-progress-unbounded 5502 1.1095586943131442E-5 462
iterating-progress-unbounded 5514 1.1047046662005265E-5 463
iterating-progress-unbounded 5526 1.099882430832805E-5 464
iterating-progress-unbounded 5538 1.0950917111105912E-5 465
iterating-progress-unbounded 5550 1.0903322329220729E-5 466
iterating-progress-unbounded 5562 1.0856037251178303E-5 467
iterating-progress-unbounded 5574 1.0809059194553147E-5 468
iterating-progress-unbounded 5586 1.0762385506984668E-5 469
iterating-progress-unbounded 5598 1.0716013564040703E-5 470
iterating-progress-unbounded 5610 1.0669940768854897E-5 471
iterating-progress-unbounded 5622 1.0624164553641396E-5 472
iterating-progress-unbounded 5633 1.058246138952888E-5 473
iterating-progress-unbounded 5645 1.0537246540535489E-5 474
iterating-progress-unbounded 5657 1.049232093588363E-5 475
iterating-progress-unbounded 5669 1.0447682113540229E-5 476
iterating-progress-unbounded 5681 1.0403327636967255E-5 477
iterating-progress-unbounded 5693 1.0359255095558026E-5 478
iterating-progress-unbounded 5705 1.0315462104250371E-5 479
iterating-progress-unbounded 5717 1.0271946303260616E-5 480
iterating-progress-unbounded 5729 1.0228705357133336E-5 481
iterating-progress-unbounded 5741 1.018573695563501E-5 482
iterating-progress-unbounded 5753 1.0143038812867309E-5 483
iterating-progress-unbounded 5765 1.0100608665707111E-5 484
iterating-progress-unbounded 5777 1.005844427596437E-5 485
iterating-progress-unbounded 5788 1.0020025153131357E-5 486
iterating-progress-unbounded 5800 9.978363959027879E-6 487
iterating-progress-unbounded 5812 9.936962124716995E-6 488
iterating-progress-unbounded 5824 9.895817501351769E-6 489
iterating-progress-unbounded 5836 9.854927962184474E-6 490
iterating-progress-unbounded 5848 9.814291402256706E-6 491
iterating-progress-unbounded 5860 9.773905738819343E-6 492
iterating-progress-unbounded 5872 9.733768909885927E-6 493
iterating-progress-unbounded 5884 9.69387887459039E-6 494
iterating-progress-unbounded 5896 9.654233613483375E-6 495
iterating-progress-unbounded 5908 9.6148311278388E-6 496
iterating-progress-unbounded 5920 9.575669438178694E-6 497
iterating-progress-unbounded 5932 9.53674658641686E-6 498
iterating-progress-unbounded 5944 9.498060633711549E-6 499
iterating-progress-unbounded 5955 9.462804980242144E-6 500
iterating-progress-unbounded 5967 9.424567736511432E-6 501
iterating-progress-unbounded 5979 9.386561848527292E-6 502
iterating-progress-unbounded 5991 9.3487854532603E-6 503
iterating-progress-unbounded 6003 9.311236705771892E-6 504
iterating-progress-unbounded 6015 9.273913780869864E-6 505
iterating-progress-unbounded 6027 9.23681487040236E-6 506
iterating-progress-unbounded 6039 9.19993818488345E-6 507
iterating-progress-unbounded 6051 9.163281952426976E-6 508
iterating-progress-unbounded 6063 9.126844419378314E-6 509
iterating-progress-unbounded 6075 9.090623848277137E-6 510
iterating-progress-unbounded 6087 9.054618520233849E-6 511
iterating-progress-unbounded 6098 9.021801266425098E-6 512
iterating-progress-unbounded 6110 8.986203742695212E-6 513
iterating-progress-unbounded 6122 8.95081654267885E-6 514
iterating-progress-unbounded 6134 8.915638012695022E-6 515
iterating-progress-unbounded 6146 8.880666514925184E-6 516
iterating-progress-unbounded 6158 8.845900427101859E-6 517
iterating-progress-unbounded 6170 8.811338144027462E-6 518
iterating-progress-unbounded 6182 8.776978075092053E-6 519
iterating-progress-unbounded 6194 8.742818645270068E-6 520
iterating-progress-unbounded 6206 8.708858295463983E-6 521
iterating-progress-unbounded 6218 8.675095481329773E-6 522
iterating-progress-unbounded 6230 8.641528673105362E-6 523
iterating-progress-unbounded 6241 8.610929991125518E-6 524
iterating-progress-unbounded 6253 8.577734640406894E-6 525
iterating-progress-unbounded 6265 8.544730918761935E-6 526
iterating-progress-unbounded 6277 8.511917354068495E-6 527
iterating-progress-unbounded 6289 8.479292487604894E-6 528
iterating-progress-unbounded 6301 8.446854875075494E-6 529
iterating-progress-unbounded 6313 8.414603085751604E-6 530
iterating-progress-unbounded 6325 8.382535703123925E-6 531
iterating-progress-unbounded 6337 8.350651322994873E-6 532
iterating-progress-unbounded 6349 8.318948555680587E-6 533
iterating-progress-unbounded 6361 8.287426024083683E-6 534
iterating-progress-unbounded 6373 8.25608236411791E-6 535
iterating-progress-unbounded 6385 8.224916225069672E-6 536
iterating-progress-unbounded 6397 8.193926268372802E-6 537
iterating-progress-unbounded 6408 8.165672446751684E-6 538
iterating-progress-unbounded 6420 8.135016477521783E-6 539
iterating-progress-unbounded 6432 8.104532858899571E-6 540
iterating-progress-unbounded 6444 8.074220300719972E-6 541
iterating-progress-unbounded 6456 8.044077524960592E-6 542
iterating-progress-unbounded 6468 8.014103265996402E-6 543
iterating-progress-unbounded 6480 7.984296270072735E-6 544
iterating-progress-unbounded 6492 7.95465529405666E-6 545
iterating-progress-unbounded 6504 7.925179107487782E-6 546
iterating-progress-unbounded 6516 7.895866490600521E-6 547
iterating-progress-unbounded 6527 7.869139251487974E-6 548
iterating-progress-unbounded 6539 7.840136775477642E-6 549
iterating-progress-unbounded 6551 7.811294376386776E-6 550
iterating-progress-unbounded 6563 7.782610877975227E-6 551
iterating-progress-unbounded 6575 7.754085114770735E-6 552
iterating-progress-unbounded 6587 7.725715931781942E-6 553
iterating-progress-unbounded 6599 7.697502185540417E-6 554
iterating-progress-unbounded 6611 7.669442742001803E-6 555
iterating-progress-unbounded 6623 7.641536477696865E-6 556
iterating-progress-unbounded 6635 7.613782279340708E-6 557
iterating-progress-unbounded 6647 7.586179044514991E-6 558
iterating-progress-unbounded 6659 7.5587256792570125E-6 559
iterating-progress-unbounded 6671 7.531421101342835E-6 560
iterating-progress-unbounded 6683 7.5042642363355315E-6 561
iterating-progress-unbounded 6694 7.479499296668803E-6 562
iterating-progress-unbounded 6706 7.452622584135554E-6 563
iterating-progress-unbounded 6718 7.4258905083679505E-6 564
iterating-progress-unbounded 6730 7.3993020340555366E-6 565
iterating-progress-unbounded 6742 7.37285613365023E-6 566
iterating-progress-unbounded 6754 7.346551790051646E-6 567
iterating-progress-unbounded 6766 7.320387994025964E-6 568
iterating-progress-unbounded 6778 7.294363746202106E-6 569
iterating-progress-unbounded 6790 7.268478055958479E-6 570
iterating-progress-unbounded 6802 7.242729940262229E-6 571
iterating-progress-unbounded 6814 7.2171184267237046E-6 572
iterating-progress-unbounded 6826 7.191642550244219E-6 573
iterating-progress-unbounded 6838 7.16630135476725E-6 574
iterating-progress-unbounded 6849 7.143189428823304E-6 575
iterating-progress-unbounded 6861 7.118103729253616E-6 576
iterating-progress-unbounded 6873 7.093149968782003E-6 577
iterating-progress-unbounded 6885 7.068327224005373E-6 578
iterating-progress-unbounded 6897 7.043634579290706E-6 579
iterating-progress-unbounded 6909 7.019071126251761E-6 580
iterating-progress-unbounded 6921 6.994635965450354E-6 581
iterating-progress-unbounded 6933 6.970328205299007E-6 582
iterating-progress-unbounded 6945 6.946146960881694E-6 583
iterating-progress-unbounded 6957 6.922091355542867E-6 584
iterating-progress-unbounded 6969 6.898160520686425E-6 585
iterating-progress-unbounded 6981 6.874353594976841E-6 586
iterating-progress-unbounded 6993 6.850669723017499E-6 587
iterating-progress-unbounded 7004 6.829066884165685E-6 588
iterating-progress-unbounded 7016 6.805616507086403E-6 589
iterating-progress-unbounded 7028 6.782286734704194E-6 590
iterating-progress-unbounded 7040 6.75907674146066E-6 591
iterating-progress-unbounded 7052 6.735985708873041E-6 592
iterating-progress-unbounded 7064 6.713012825832127E-6 593
iterating-progress-unbounded 7076 6.69015728647576E-6 594
iterating-progress-unbounded 7088 6.667418293050448E-6 595
iterating-progress-unbounded 7100 6.644795054768941E-6 596
iterating-progress-unbounded 7112 6.622286786932166E-6 597
iterating-progress-unbounded 7124 6.599892711468315E-6 598
iterating-progress-unbounded 7136 6.5776120577293025E-6 599
iterating-progress-unbounded 7147 6.557287109101466E-6 600
iterating-progress-unbounded 7159 6.535221713982979E-6 601
iterating-progress-unbounded 7171 6.513267526849073E-6 602
iterating-progress-unbounded 7183 6.4914238025382725E-6 603
iterating-progress-unbounded 7195 6.4696898009003955E-6 604
iterating-progress-unbounded 7207 6.44806478774314E-6 605
iterating-progress-unbounded 7219 6.426548035662447E-6 606
iterating-progress-unbounded 7231 6.405138823086507E-6 607
iterating-progress-unbounded 7243 6.383836434628018E-6 608
iterating-progress-unbounded 7255 6.3626401598588156E-6 609
iterating-progress-unbounded 7267 6.341549296258475E-6 610
iterating-progress-unbounded 7279 6.320563145108108E-6 611
iterating-progress-unbounded 7291 6.2996810144308306E-6 612
iterating-progress-unbounded 7302 6.280629854072409E-6 613
iterating-progress-unbounded 7314 6.259945182141832E-6 614
iterating-progress-unbounded 7326 6.2393625445620856E-6 615
iterating-progress-unbounded 7338 6.218881270399348E-6 616
iterating-progress-unbounded 7350 6.198500696466964E-6 617
iterating-progress-unbounded 7362 6.178220162179876E-6 618
iterating-progress-unbounded 7374 6.15803901475004E-6 619
iterating-progress-unbounded 7386 6.137956604925941E-6 620
iterating-progress-unbounded 7398 6.117972290154729E-6 621
iterating-progress-unbounded 7410 6.09808543206364E-6 622
iterating-progress-unbounded 7422 6.078295398504396E-6 623
iterating-progress-unbounded 7434 6.058601561252094E-6 624
iterating-progress-unbounded 7446 6.039003298121976E-6 625
iterating-progress-unbounded 7458 6.01949999080425E-6 626
iterating-progress-unbounded 7469 6.001704852984544E-6 627
iterating-progress-unbounded 7481 5.982381837891517E-6 628
iterating-progress-unbounded 7493 5.963152006562038E-6 629
iterating-progress-unbounded 7505 5.944014760091826E-6 630
iterating-progress-unbounded 7517 5.924969505764034E-6 631
iterating-progress-unbounded 7529 5.906015653850443E-6 632
iterating-progress-unbounded 7541 5.8871526216812094E-6 633
iterating-progress-unbounded 7553 5.8683798286804085E-6 634
iterating-progress-unbounded 7565 5.849696700274421E-6 635
iterating-progress-unbounded 7577 5.8311026668325064E-6 636
iterating-progress-unbounded 7589 5.812597161713963E-6 637
iterating-progress-unbounded 7601 5.794179624672062E-6 638
iterating-progress-unbounded 7612 5.777373684184828E-6 639
iterating-progress-unbounded 7624 5.75912319944683E-6 640
iterating-progress-unbounded 7636 5.740959070611891E-6 641
iterating-progress-unbounded 7648 5.7228807543970375E-6 642
iterating-progress-unbounded 7660 5.7048877098687055E-6 643
iterating-progress-unbounded 7672 5.686979402096153E-6 644
iterating-progress-unbounded 7684 5.669155300119067E-6 645
iterating-progress-unbounded 7696 5.6514148762060255E-6 646
iterating-progress-unbounded 7708 5.6337576074782765E-6 647
iterating-progress-unbounded 7720 5.6161829749651305E-6 648
iterating-progress-unbounded 7732 5.598690463764203E-6 649
iterating-progress-unbounded 7743 5.582727366664798E-6 650
iterating-progress-unbounded 7755 5.5653908300829695E-6 651
iterating-progress-unbounded 7767 5.548134935290204E-6 652
iterating-progress-unbounded 7779 5.53095918338865E-6 653
iterating-progress-unbounded 7791 5.51386307881088E-6 654
iterating-progress-unbounded 7803 5.496846129206593E-6 655
iterating-progress-unbounded 7815 5.479907847168663E-6 656
iterating-progress-unbounded 7827 5.463047748289763E-6 657
iterating-progress-unbounded 7839 5.446265351876636E-6 658
iterating-progress-unbounded 7851 5.429560181881776E-6 659
iterating-progress-unbounded 7863 5.412931763813426E-6 660
iterating-progress-unbounded 7875 5.396379629458498E-6 661
iterating-progress-unbounded 7887 5.379903312087176E-6 662
iterating-progress-unbounded 7899 5.3635023495124206E-6 663
iterating-progress-unbounded 7910 5.3485339389122255E-6 664
iterating-progress-unbounded 7922 5.332276126470195E-6 665
iterating-progress-unbounded 7934 5.3160923405043035E-6 666
iterating-progress-unbounded 7946 5.299982131824711E-6 667
iterating-progress-unbounded 7958 5.283945054663754E-6 668
iterating-progress-unbounded 7970 5.267980667558758E-6 669
iterating-progress-unbounded 7982 5.2520885315944055E-6 670
iterating-progress-unbounded 7994 5.236268211398392E-6 671
iterating-progress-unbounded 8006 5.2205192748504216E-6 672
iterating-progress-unbounded 8018 5.204841292870844E-6 673
iterating-progress-unbounded 8030 5.18923384037692E-6 674
iterating-progress-unbounded 8042 5.173696494330471E-6 675
iterating-progress-unbounded 8053 5.159515155676549E-6 676
iterating-progress-unbounded 8065 5.1441110113157305E-6 677
iterating-progress-unbounded 8077 5.128775759341119E-6 678
iterating-progress-unbounded 8089 5.113508989463685E-6 679
iterating-progress-unbounded 8101 5.098310294684557E-6 680
iterating-progress-unbounded 8113 5.08317927025575E-6 681
iterating-progress-unbounded 8125 5.068115515346826E-6 682
iterating-progress-unbounded 8137 5.053118632295726E-6 683
iterating-progress-unbounded 8149 5.0381882247270795E-6 684
iterating-progress-unbounded 8161 5.023323901180856E-6 685
iterating-progress-unbounded 8173 5.008525271471898E-6 686
iterating-progress-unbounded 8185 4.993791949522858E-6 687
iterating-progress-unbounded 8197 4.979123551589472E-6 688
iterating-progress-unbounded 8209 4.964519696166488E-6 689
iterating-progress-unbounded 8220 4.951189204955279E-6 690
iterating-progress-unbounded 8232 4.936708002052732E-6 691
iterating-progress-unbounded 8244 4.922290247136077E-6 692
iterating-progress-unbounded 8256 4.9079355696688E-6 693
iterating-progress-unbounded 8268 4.8936436018341895E-6 694
iterating-progress-unbounded 8280 4.879413979391422E-6 695
iterating-progress-unbounded 8292 4.865246339992311E-6 696
iterating-progress-unbounded 8304 4.8511403243239225E-6 697
iterating-progress-unbounded 8316 4.837095574924949E-6 698
iterating-progress-unbounded 8328 4.823111737813613E-6 699
iterating-progress-unbounded 8340 4.809188461760264E-6 700
iterating-progress-unbounded 8352 4.795325396274606E-6 701
iterating-progress-unbounded 8364 4.781522196056694E-6 702
iterating-progress-unbounded 8375 4.768921557504291E-6 703
iterating-progress-unbounded 8387 4.755232137089639E-6 704
iterating-progress-unbounded 8399 4.741601584276183E-6 705
iterating-progress-unbounded 8411 4.728029561826605E-6 706
iterating-progress-unbounded 8423 4.714515734865522E-6 707
iterating-progress-unbounded 8435 4.701059771653889E-6 708
iterating-progress-unbounded 8447 4.687661341734893E-6 709
iterating-progress-unbounded 8459 4.674320117540538E-6 710
iterating-progress-unbounded 8471 4.6610357745396094E-6 711
iterating-progress-unbounded 8483 4.647807988918324E-6 712
iterating-progress-unbounded 8495 4.634636440034934E-6 713
iterating-progress-unbounded 8507 4.621520810565093E-6 714
iterating-progress-unbounded 8519 4.608460782815177E-6 715
iterating-progress-unbounded 8531 4.59545604463167E-6 716
iterating-progress-unbounded 8542 4.583583337658471E-6 717
iterating-progress-unbounded 8554 4.570683699634578E-6 718
iterating-progress-unbounded 8566 4.557838447532056E-6 719
iterating-progress-unbounded 8578 4.545047276185318E-6 720
iterating-progress-unbounded 8590 4.53230988153008E-6 721
iterating-progress-unbounded 8602 4.519625963200736E-6 722
iterating-progress-unbounded 8614 4.50699522203239E-6 723
iterating-progress-unbounded 8626 4.494417360994643E-6 724
iterating-progress-unbounded 8638 4.481892085782062E-6 725
iterating-progress-unbounded 8650 4.469419102938742E-6 726
iterating-progress-unbounded 8661 4.458031224859196E-6 727
iterating-progress-unbounded 8673 4.445657659184817E-6 728
iterating-progress-unbounded 8685 4.433335543731597E-6 729
iterating-progress-unbounded 8697 4.4210645936133125E-6 730
iterating-progress-unbounded 8709 4.408844526602245E-6 731
iterating-progress-unbounded 8721 4.396675060702233E-6 732
iterating-progress-unbounded 8733 4.384555917581531E-6 733
iterating-progress-unbounded 8745 4.372486819946095E-6 734
iterating-progress-unbounded 8757 4.360467492427479E-6 735
iterating-progress-unbounded 8769 4.348497662231974E-6 736
iterating-progress-unbounded 8781 4.33657705739527E-6 737
iterating-progress-unbounded 8793 4.3247054086948436E-6 738
iterating-progress-unbounded 8805 4.312882447876689E-6 739
iterating-progress-unbounded 8817 4.301107909528764E-6 740
iterating-progress-unbounded 8828 4.290356894781768E-6 741
iterating-progress-unbounded 8840 4.278674429225888E-6 742
iterating-progress-unbounded 8852 4.267039620700904E-6 743
iterating-progress-unbounded 8864 4.255452210504305E-6 744
iterating-progress-unbounded 8876 4.243911940987209E-6 745
iterating-progress-unbounded 8888 4.232418557248088E-6 746
iterating-progress-unbounded 8900 4.220971805473709E-6 747
iterating-progress-unbounded 8912 4.2095714338548785E-6 748
iterating-progress-unbounded 8924 4.198217191645964E-6 749
iterating-progress-unbounded 8936 4.186908830787866E-6 750
iterating-progress-unbounded 8948 4.1756461040326275E-6 751
iterating-progress-unbounded 8960 4.164428766655897E-6 752
iterating-progress-unbounded 8972 4.153256574557823E-6 753
iterating-progress-unbounded 8983 4.1430548508098386E-6 754
iterating-progress-unbounded 8995 4.131968512388525E-6 755
iterating-progress-unbounded 9007 4.120926618548094E-6 756
iterating-progress-unbounded 9019 4.10992893150325E-6 757
iterating-progress-unbounded 9031 4.098975215908923E-6 758
iterating-progress-unbounded 9043 4.088065237138397E-6 759
iterating-progress-unbounded 9055 4.077198762947502E-6 760
iterating-progress-unbounded 9067 4.066375562652061E-6 761
iterating-progress-unbounded 9079 4.05559540609212E-6 762
iterating-progress-unbounded 9091 4.0448580661225E-6 763
iterating-progress-unbounded 9103 4.034163315456748E-6 764
iterating-progress-unbounded 9114 4.024397015654795E-6 765
iterating-progress-unbounded 9126 4.0137832673956355E-6 766
iterating-progress-unbounded 9138 4.003211457074434E-6 767
iterating-progress-unbounded 9150 3.992681363518719E-6 768
iterating-progress-unbounded 9162 3.982192767344679E-6 769
iterating-progress-unbounded 9174 3.971745451579093E-6 770
iterating-progress-unbounded 9186 3.961339199207105E-6 771
iterating-progress-unbounded 9198 3.950973795608279E-6 772
iterating-progress-unbounded 9210 3.940649026925404E-6 773
iterating-progress-unbounded 9222 3.930364680849359E-6 774
iterating-progress-unbounded 9234 3.9201205475838675E-6 775
iterating-progress-unbounded 9246 3.909916416770912E-6 776
iterating-progress-unbounded 9258 3.8997520803822085E-6 777
iterating-progress-unbounded 9270 3.889627332543988E-6 778
iterating-progress-unbounded 9281 3.880380915318449E-6 779
iterating-progress-unbounded 9293 3.870331471308533E-6 780
iterating-progress-unbounded 9305 3.860321020650092E-6 781
iterating-progress-unbounded 9317 3.850349361365072E-6 782
iterating-progress-unbounded 9329 3.840416292957155E-6 783
iterating-progress-unbounded 9341 3.830521617152787E-6 784
iterating-progress-unbounded 9353 3.820665135701454E-6 785
iterating-progress-unbounded 9365 3.8108466527394185E-6 786
iterating-progress-unbounded 9377 3.801065973004037E-6 787
iterating-progress-unbounded 9389 3.7913229025011156E-6 788
iterating-progress-unbounded 9401 3.7816172491161686E-6 789
iterating-progress-unbounded 9412 3.7727531061859378E-6 790
iterating-progress-unbounded 9424 3.7631186341528328E-6 791
iterating-progress-unbounded 9436 3.753521024492054E-6 792
iterating-progress-unbounded 9448 3.7439600890484185E-6 793
iterating-progress-unbounded 9460 3.7344356410396693E-6 794
iterating-progress-unbounded 9472 3.7249474950189877E-6 795
iterating-progress-unbounded 9484 3.7154954670237466E-6 796
iterating-progress-unbounded 9496 3.7060793739505357E-6 797
iterating-progress-unbounded 9507 3.6974793672877964E-6 798
iterating-progress-unbounded 9519 3.6881316414573065E-6 799
iterating-progress-unbounded 9531 3.6788193226207767E-6 800
iterating-progress-unbounded 9543 3.669542233100117E-6 801
iterating-progress-unbounded 9555 3.6603001944658046E-6 802
iterating-progress-unbounded 9567 3.651093030826379E-6 803
iterating-progress-unbounded 9579 3.641920566443835E-6 804
iterating-progress-unbounded 9591 3.6327826276115298E-6 805
iterating-progress-unbounded 9602 3.6244363654586506E-6 806
iterating-progress-unbounded 9614 3.615364117488817E-6 807
iterating-progress-unbounded 9626 3.6063258929846284E-6 808
iterating-progress-unbounded 9638 3.5973215224863013E-6 809
iterating-progress-unbounded 9650 3.588350836646593E-6 810
iterating-progress-unbounded 9662 3.579413667792675E-6 811
iterating-progress-unbounded 9674 3.5705098493107548E-6 812
iterating-progress-unbounded 9686 3.561639214831933E-6 813
iterating-progress-unbounded 9697 3.5535368112597483E-6 814
iterating-progress-unbounded 9709 3.544729321271878E-6 815
iterating-progress-unbounded 9721 3.535954537869766E-6 816
iterating-progress-unbounded 9733 3.527212299744999E-6 817
iterating-progress-unbounded 9745 3.5185024461517985E-6 818
iterating-progress-unbounded 9757 3.509824816701128E-6 819
iterating-progress-unbounded 9769 3.5011792535270396E-6 820
iterating-progress-unbounded 9781 3.4925655983562495E-6 821
iterating-progress-unbounded 9793 3.4839836939031015E-6 822
iterating-progress-unbounded 9805 3.475433385351196E-6 823
iterating-progress-unbounded 9816 3.467623225492534E-6 824
iterating-progress-unbounded 9828 3.4591330417686506E-6 825
iterating-progress-unbounded 9840 3.4506740047377394E-6 826
iterating-progress-unbounded 9852 3.4422459613190866E-6 827
iterating-progress-unbounded 9864 3.4338487602688067E-6 828
iterating-progress-unbounded 9876 3.425482252018743E-6 829
iterating-progress-unbounded 9888 3.417146286552341E-6 830
iterating-progress-unbounded 9900 3.4088407155220525E-6 831
iterating-progress-unbounded 9912 3.4005653914759483E-6 832
iterating-progress-unbounded 9924 3.3923201672624774E-6 833
iterating-progress-unbounded 9935 3.384788362789079E-6 834
iterating-progress-unbounded 9947 3.3766004239732116E-6 835
iterating-progress-unbounded 9959 3.3684421621545455E-6 836
iterating-progress-unbounded 9971 3.360313434527446E-6 837
iterating-progress-unbounded 9983 3.3522140985324457E-6 838
iterating-progress-unbounded 9995 3.3441440126338905E-6 839
iterating-progress-unbounded 10007 3.336103036288401E-6 840
iterating-progress-unbounded 10019 3.3280910290629963E-6 841
iterating-progress-unbounded 10031 3.32010785298757E-6 842
iterating-progress-unbounded 10043 3.312153368854412E-6 843
iterating-progress-unbounded 10054 3.304886846527185E-6 844
iterating-progress-unbounded 10066 3.2969869733715917E-6 845
iterating-progress-unbounded 10077 3.2897702812766176E-6 846
iterating-progress-unbounded 10089 3.281924519712954E-6 847
iterating-progress-unbounded 10101 3.2741067940934485E-6 848
iterating-progress-unbounded 10113 3.2663169712948253E-6 849
iterating-progress-unbounded 10125 3.2585549182298176E-6 850
iterating-progress-unbounded 10137 3.250820503335547E-6 851
iterating-progress-unbounded 10149 3.243113595844085E-6 852
iterating-progress-unbounded 10161 3.235434065009527E-6 853
iterating-progress-unbounded 10173 3.2277817816151133E-6 854
iterating-progress-unbounded 10185 3.220156616600629E-6 855
iterating-progress-unbounded 10197 3.2125584418246796E-6 856
iterating-progress-unbounded 10209 3.2049871307736523E-6 857
iterating-progress-unbounded 10220 3.1980702527753774E-6 858
iterating-progress-unbounded 10232 3.1905500764558225E-6 859
iterating-progress-unbounded 10244 3.1830563968462586E-6 860
iterating-progress-unbounded 10256 3.1755890888739364E-6 861
iterating-progress-unbounded 10268 3.1681480297963277E-6 862
iterating-progress-unbounded 10280 3.1607330964387824E-6 863
iterating-progress-unbounded 10292 3.1533441660486623E-6 864
iterating-progress-unbounded 10304 3.1459811177566427E-6 865
iterating-progress-unbounded 10316 3.1386438307995422E-6 866
iterating-progress-unbounded 10328 3.1313321847119827E-6 867
iterating-progress-unbounded 10340 3.1240460605723815E-6 868
iterating-progress-unbounded 10352 3.1167853395813727E-6 869
iterating-progress-unbounded 10364 3.1095499039296025E-6 870
iterating-progress-unbounded 10375 3.1029395331329593E-6 871
iterating-progress-unbounded 10387 3.0957522333757514E-6 872
iterating-progress-unbounded 10399 3.088589878644013E-6 873
iterating-progress-unbounded 10411 3.081452353611864E-6 874
iterating-progress-unbounded 10423 3.074339543632568E-6 875
iterating-progress-unbounded 10435 3.0672513348742753E-6 876
iterating-progress-unbounded 10447 3.0601876135739968E-6 877
iterating-progress-unbounded 10459 3.0531482673348375E-6 878
iterating-progress-unbounded 10471 3.0461331845591633E-6 879
iterating-progress-unbounded 10483 3.0391422528646756E-6 880
iterating-progress-unbounded 10495 3.0321753626368135E-6 881
iterating-progress-unbounded 10506 3.0258100714019854E-6 882
iterating-progress-unbounded 10518 3.018888952174679E-6 883
iterating-progress-unbounded 10530 3.0119915541547036E-6 884
iterating-progress-unbounded 10542 3.0051177694829297E-6 885
iterating-progress-unbounded 10554 2.9982674901918896E-6 886
iterating-progress-unbounded 10566 2.991440609655463E-6 887
iterating-progress-unbounded 10578 2.984637020713872E-6 888
iterating-progress-unbounded 10590 2.9778566183644807E-6 889
iterating-progress-unbounded 10601 2.971661527929138E-6 890
iterating-progress-unbounded 10613 2.9649252720837313E-6 891
iterating-progress-unbounded 10625 2.958211896964054E-6 892
iterating-progress-unbounded 10637 2.9515212993464423E-6 893
iterating-progress-unbounded 10649 2.9448533758739173E-6 894
iterating-progress-unbounded 10661 2.9382080244709583E-6 895
iterating-progress-unbounded 10673 2.931585143650496E-6 896
iterating-progress-unbounded 10684 2.9255338225266184E-6 897
iterating-progress-unbounded 10696 2.918953727113643E-6 898
iterating-progress-unbounded 10708 2.912395808837056E-6 899
iterating-progress-unbounded 10720 2.90585996731272E-6 900
iterating-progress-unbounded 10732 2.8993461040932616E-6 901
iterating-progress-unbounded 10744 2.8928541207518666E-6 902
iterating-progress-unbounded 10756 2.886383918838519E-6 903
iterating-progress-unbounded 10768 2.8799354018401704E-6 904
iterating-progress-unbounded 10780 2.8735084725498564E-6 905
iterating-progress-unbounded 10791 2.8676360024133845E-6 906
iterating-progress-unbounded 10803 2.8612501808121277E-6 907
iterating-progress-unbounded 10815 2.854885667662768E-6 908
iterating-progress-unbounded 10827 2.848542368107549E-6 909
iterating-progress-unbounded 10839 2.8422201883840435E-6 910
iterating-progress-unbounded 10851 2.835919034563657E-6 911
iterating-progress-unbounded 10863 2.8296388130905835E-6 912
iterating-progress-unbounded 10875 2.8233794322999207E-6 913
iterating-progress-unbounded 10887 2.8171407991203117E-6 914
iterating-progress-unbounded 10899 2.810922822364174E-6 915
iterating-progress-unbounded 10910 2.805241078871192E-6 916
iterating-progress-unbounded 10922 2.7990624396508735E-6 917
iterating-progress-unbounded 10934 2.792904192133611E-6 918
iterating-progress-unbounded 10946 2.7867662474937967E-6 919
iterating-progress-unbounded 10958 2.7806485161643645E-6 920
iterating-progress-unbounded 10970 2.7745509090814534E-6 921
iterating-progress-unbounded 10982 2.7684733390123656E-6 922
iterating-progress-unbounded 10994 2.7624157171788325E-6 923
iterating-progress-unbounded 11006 2.756377957312622E-6 924
iterating-progress-unbounded 11018 2.7503599721284932E-6 925
iterating-progress-unbounded 11030 2.7443616756288173E-6 926
iterating-progress-unbounded 11042 2.7383829816183966E-6 927
iterating-progress-unbounded 11054 2.7324238052966023E-6 928
iterating-progress-unbounded 11065 2.726978299639988E-6 929
iterating-progress-unbounded 11077 2.721056294756742E-6 930
iterating-progress-unbounded 11089 2.7151535613263646E-6 931
iterating-progress-unbounded 11101 2.7092700151420582E-6 932
iterating-progress-unbounded 11113 2.7034055736687834E-6 933
iterating-progress-unbounded 11125 2.697560154132637E-6 934
iterating-progress-unbounded 11137 2.691733674218863E-6 935
iterating-progress-unbounded 11149 2.6859260527245537E-6 936
iterating-progress-unbounded 11161 2.6801372075464395E-6 937
iterating-progress-unbounded 11173 2.6743670582286963E-6 938
iterating-progress-unbounded 11184 2.6690941101652964E-6 939
iterating-progress-unbounded 11196 2.6633595702666395E-6 940
iterating-progress-unbounded 11208 2.6576434927198285E-6 941
iterating-progress-unbounded 11220 2.6519457986114658E-6 942
iterating-progress-unbounded 11232 2.646266409190296E-6 943
iterating-progress-unbounded 11244 2.640605245602309E-6 944
iterating-progress-unbounded 11256 2.6349622307293155E-6 945
iterating-progress-unbounded 11268 2.6293372866739235E-6 946
iterating-progress-unbounded 11280 2.623730335965429E-6 947
iterating-progress-unbounded 11292 2.618141302852429E-6 948
iterating-progress-unbounded 11304 2.612570110148565E-6 949
iterating-progress-unbounded 11316 2.607016682530002E-6 950
iterating-progress-unbounded 11327 2.6019415822342036E-6 951
iterating-progress-unbounded 11339 2.596421993400659E-6 952
iterating-progress-unbounded 11351 2.590919950550837E-6 953
iterating-progress-unbounded 11363 2.5854353796588285E-6 954
iterating-progress-unbounded 11375 2.579968206163386E-6 955
iterating-progress-unbounded 11387 2.574518357468866E-6 956
iterating-progress-unbounded 11399 2.569085759796571E-6 957
iterating-progress-unbounded 11410 2.564120971009168E-6 958
iterating-progress-unbounded 11422 2.5587212346755506E-6 959
iterating-progress-unbounded 11434 2.5533385389318332E-6 960
iterating-progress-unbounded 11446 2.5479728112422884E-6 961
iterating-progress-unbounded 11458 2.5426239807391525E-6 962
iterating-progress-unbounded 11470 2.537291976810425E-6 963
iterating-progress-unbounded 11481 2.53241902764465E-6 964
iterating-progress-unbounded 11493 2.527119077121913E-6 965
iterating-progress-unbounded 11505 2.5218357485563234E-6 966
iterating-progress-unbounded 11517 2.516568972117238E-6 967
iterating-progress-unbounded 11529 2.5113186788568664E-6 968
iterating-progress-unbounded 11541 2.5060848001977267E-6 969
iterating-progress-unbounded 11553 2.500867267517533E-6 970
iterating-progress-unbounded 11565 2.4956660128184045E-6 971
iterating-progress-unbounded 11577 2.490480968704627E-6 972
iterating-progress-unbounded 11589 2.4853120676220428E-6 973
iterating-progress-unbounded 11601 2.4801592431378445E-6 974
iterating-progress-unbounded 11612 2.475449885950019E-6 975
iterating-progress-unbounded 11624 2.4703276880822845E-6 976
iterating-progress-unbounded 11636 2.465221373128539E-6 977
iterating-progress-unbounded 11648 2.460130875622297E-6 978
iterating-progress-unbounded 11660 2.455056129781991E-6 979
iterating-progress-unbounded 11672 2.449997071572621E-6 980
iterating-progress-unbounded 11684 2.444953635510842E-6 981
iterating-progress-unbounded 11696 2.439925757711302E-6 982
iterating-progress-unbounded 11708 2.4349133745028595E-6 983
iterating-progress-unbounded 11720 2.429916422020409E-6 984
iterating-progress-unbounded 11732 2.4249348366120135E-6 985
iterating-progress-unbounded 11744 2.419968556208223E-6 986
iterating-progress-unbounded 11755 2.4154295233519136E-6 987
iterating-progress-unbounded 11767 2.4104924012739016E-6 988
iterating-progress-unbounded 11779 2.4055704024163958E-6 989
iterating-progress-unbounded 11791 2.400663464194639E-6 990
iterating-progress-unbounded 11803 2.3957715255927417E-6 991
iterating-progress-unbounded 11815 2.390894525792383E-6 992
iterating-progress-unbounded 11827 2.3860324035175867E-6 993
iterating-progress-unbounded 11839 2.381185098816933E-6 994
iterating-progress-unbounded 11851 2.3763525512918767E-6 995
iterating-progress-unbounded 11863 2.3715347007161665E-6 996
iterating-progress-unbounded 11874 2.3671311983757985E-6 997
iterating-progress-unbounded 11886 2.3623413518809676E-6 998
iterating-progress-unbounded 11898 2.357566029637784E-6 999
iterating-progress-unbounded 11910 2.3528051733465286E-6 1000
iterating-progress-unbounded 11922 2.3480587245214735E-6 1001
iterating-progress-unbounded 11934 2.343326624947115E-6 1002
iterating-progress-unbounded 11946 2.338608817215287E-6 1003
iterating-progress-unbounded 11958 2.333905243584431E-6 1004
iterating-progress-unbounded 11970 2.3292158464702928E-6 1005
iterating-progress-unbounded 11982 2.3245405698229946E-6 1006
iterating-progress-unbounded 11994 2.319879356138337E-6 1007
iterating-progress-unbounded 12006 2.315232149442743E-6 1008
iterating-progress-unbounded 12017 2.310984467061294E-6 1009
iterating-progress-unbounded 12029 2.3063639507319935E-6 1010
iterating-progress-unbounded 12041 2.3017572786324244E-6 1011
iterating-progress-unbounded 12053 2.2971643955098278E-6 1012
iterating-progress-unbounded 12065 2.292585246504902E-6 1013
iterating-progress-unbounded 12077 2.288019776422188E-6 1014
iterating-progress-unbounded 12089 2.2834679316858765E-6 1015
iterating-progress-unbounded 12101 2.2789296571488913E-6 1016
iterating-progress-unbounded 12113 2.2744048996526913E-6 1017
iterating-progress-unbounded 12125 2.2698936054477506E-6 1018
iterating-progress-unbounded 12137 2.265395720799505E-6 1019
iterating-progress-unbounded 12148 2.2612843947725404E-6 1020
iterating-progress-unbounded 12160 2.2568120643056517E-6 1021
iterating-progress-unbounded 12172 2.252352989259111E-6 1022
iterating-progress-unbounded 12184 2.2479071177876987E-6 1023
iterating-progress-unbounded 12196 2.243474397571843E-6 1024
iterating-progress-unbounded 12208 2.239054776419786E-6 1025
iterating-progress-unbounded 12220 2.2346482036174695E-6 1026
iterating-progress-unbounded 12232 2.2302546270020434E-6 1027
iterating-progress-unbounded 12243 2.226238555374553E-6 1028
iterating-progress-unbounded 12255 2.2218697462999827E-6 1029
iterating-progress-unbounded 12267 2.2175137856709457E-6 1030
iterating-progress-unbounded 12279 2.2131706230198774E-6 1031
iterating-progress-unbounded 12291 2.2088402083870264E-6 1032
iterating-progress-unbounded 12303 2.204522491690194E-6 1033
iterating-progress-unbounded 12315 2.200217423560546E-6 1034
iterating-progress-unbounded 12327 2.1959249542829E-6 1035
iterating-progress-unbounded 12339 2.1916450349839016E-6 1036
iterating-progress-unbounded 12350 2.187732759030195E-6 1037
iterating-progress-unbounded 12362 2.1834767574271187E-6 1038
iterating-progress-unbounded 12374 2.1792331640244723E-6 1039
iterating-progress-unbounded 12386 2.1750019305047456E-6 1040
iterating-progress-unbounded 12398 2.1707830090336976E-6 1041
iterating-progress-unbounded 12410 2.1665763515339145E-6 1042
iterating-progress-unbounded 12422 2.162381910985486E-6 1043
iterating-progress-unbounded 12434 2.15819963965095E-6 1044
iterating-progress-unbounded 12446 2.1540294908595767E-6 1045
iterating-progress-unbounded 12458 2.149871417555976E-6 1046
iterating-progress-unbounded 12469 2.146070418894148E-6 1047
iterating-progress-unbounded 12481 2.1419353605035748E-6 1048
iterating-progress-unbounded 12493 2.1378122427296285E-6 1049
iterating-progress-unbounded 12505 2.1337010191599723E-6 1050
iterating-progress-unbounded 12517 2.1296016446832307E-6 1051
iterating-progress-unbounded 12529 2.1255140732138453E-6 1052
iterating-progress-unbounded 12541 2.1214382594803173E-6 1053
iterating-progress-unbounded 12553 2.1173741591373415E-6 1054
iterating-progress-unbounded 12565 2.113321726398545E-6 1055
iterating-progress-unbounded 12577 2.1092809174676354E-6 1056
iterating-progress-unbounded 12589 2.10525168757285E-6 1057
iterating-progress-unbounded 12601 2.1012339922812793E-6 1058
iterating-progress-unbounded 12612 2.097561200385781E-6 1059
iterating-progress-unbounded 12624 2.093565491112265E-6 1060
iterating-progress-unbounded 12636 2.0895811887238153E-6 1061
iterating-progress-unbounded 12648 2.085608249839267E-6 1062
iterating-progress-unbounded 12660 2.0816466319867756E-6 1063
iterating-progress-unbounded 12672 2.077696291256993E-6 1064
iterating-progress-unbounded 12684 2.0737571855860735E-6 1065
iterating-progress-unbounded 12696 2.069829272293206E-6 1066
iterating-progress-unbounded 12708 2.0659125086597405E-6 1067
iterating-progress-unbounded 12720 2.062006853111308E-6 1068
iterating-progress-unbounded 12732 2.0581122630984345E-6 1069
iterating-progress-unbounded 12743 2.054551907431626E-6 1070
iterating-progress-unbounded 12755 2.050678410236363E-6 1071
iterating-progress-unbounded 12767 2.0468158576599546E-6 1072
iterating-progress-unbounded 12779 2.0429642081573054E-6 1073
iterating-progress-unbounded 12791 2.0391234210744523E-6 1074
iterating-progress-unbounded 12803 2.035293455487927E-6 1075
iterating-progress-unbounded 12815 2.0314742706633183E-6 1076
iterating-progress-unbounded 12827 2.0276658266399973E-6 1077
iterating-progress-unbounded 12839 2.0238680824828404E-6 1078
iterating-progress-unbounded 12851 2.020080998494693E-6 1079
iterating-progress-unbounded 12862 2.0166188356686242E-6 1080
iterating-progress-unbounded 12874 2.0128520725209867E-6 1081
iterating-progress-unbounded 12886 2.009095853791498E-6 1082
iterating-progress-unbounded 12898 2.005350140044527E-6 1083
iterating-progress-unbounded 12910 2.0016148924910333E-6 1084
iterating-progress-unbounded 12922 1.9978900719380433E-6 1085
iterating-progress-unbounded 12934 1.994175639499562E-6 1086
iterating-progress-unbounded 12946 1.990471556580499E-6 1087
iterating-progress-unbounded 12958 1.9867777849879768E-6 1088
iterating-progress-unbounded 12970 1.983094286492091E-6 1089
iterating-progress-unbounded 12981 1.9797267380005913E-6 1090
iterating-progress-unbounded 12993 1.9760628231398205E-6 1091
iterating-progress-unbounded 13005 1.972409070507964E-6 1092
iterating-progress-unbounded 13017 1.968765442901844E-6 1093
iterating-progress-unbounded 13029 1.9651319028229187E-6 1094
iterating-progress-unbounded 13041 1.96150841295421E-6 1095
iterating-progress-unbounded 13053 1.9578949367205097E-6 1096
iterating-progress-unbounded 13065 1.9542914366884234E-6 1097
iterating-progress-unbounded 13077 1.950697876280263E-6 1098
iterating-progress-unbounded 13089 1.9471142190805507E-6 1099
iterating-progress-unbounded 13101 1.9435404288496797E-6 1100
iterating-progress-unbounded 13113 1.939976469396846E-6 1101
iterating-progress-unbounded 13124 1.936718111654142E-6 1102
iterating-progress-unbounded 13136 1.933172893638232E-6 1103
iterating-progress-unbounded 13148 1.929637401559432E-6 1104
iterating-progress-unbounded 13160 1.92611160032575E-6 1105
iterating-progress-unbounded 13172 1.922595453873139E-6 1106
iterating-progress-unbounded 13184 1.919088927435829E-6 1107
iterating-progress-unbounded 13196 1.915591985828804E-6 1108
iterating-progress-unbounded 13208 1.912104594157938E-6 1109
iterating-progress-unbounded 13220 1.9086267177901683E-6 1110
iterating-progress-unbounded 13232 1.9051583216905452E-6 1111
iterating-progress-unbounded 13243 1.9019872578414989E-6 1112
iterating-progress-unbounded 13255 1.898536937127194E-6 1113
iterating-progress-unbounded 13267 1.895095996818467E-6 1114
iterating-progress-unbounded 13279 1.8916644033702514E-6 1115
iterating-progress-unbounded 13291 1.8882421226372128E-6 1116
iterating-progress-unbounded 13303 1.8848291210576425E-6 1117
iterating-progress-unbounded 13315 1.8814253651141215E-6 1118
iterating-progress-unbounded 13327 1.8780308215532747E-6 1119
iterating-progress-unbounded 13339 1.8746454567139314E-6 1120
iterating-progress-unbounded 13351 1.8712692379699682E-6 1121
iterating-progress-unbounded 13362 1.8681823772711116E-6 1122
iterating-progress-unbounded 13374 1.8648235968991568E-6 1123
iterating-progress-unbounded 13386 1.8614738665868945E-6 1124
iterating-progress-unbounded 13398 1.8581331540660692E-6 1125
iterating-progress-unbounded 13410 1.8548014270000532E-6 1126
iterating-progress-unbounded 13422 1.8514786537347506E-6 1127
iterating-progress-unbounded 13434 1.8481648016727289E-6 1128
iterating-progress-unbounded 13446 1.8448598386807156E-6 1129
iterating-progress-unbounded 13458 1.8415637335392313E-6 1130
iterating-progress-unbounded 13470 1.838276454404228E-6 1131
iterating-progress-unbounded 13482 1.8349979696795203E-6 1132
iterating-progress-unbounded 13494 1.8317282484608873E-6 1133
iterating-progress-unbounded 13505 1.8287386753651345E-6 1134
iterating-progress-unbounded 13517 1.825485663026102E-6 1135
iterating-progress-unbounded 13529 1.8222413230148317E-6 1136
iterating-progress-unbounded 13541 1.8190056248623693E-6 1137
iterating-progress-unbounded 13553 1.815778537791942E-6 1138
iterating-progress-unbounded 13565 1.8125600312793148E-6 1139
iterating-progress-unbounded 13577 1.8093500746977823E-6 1140
iterating-progress-unbounded 13589 1.8061486384566075E-6 1141
iterating-progress-unbounded 13601 1.8029556917655872E-6 1142
iterating-progress-unbounded 13613 1.799771204847461E-6 1143
iterating-progress-unbounded 13624 1.7968594980185008E-6 1144
iterating-progress-unbounded 13636 1.793691142332887E-6 1145
iterating-progress-unbounded 13648 1.7905311596878967E-6 1146
iterating-progress-unbounded 13660 1.7873795208403883E-6 1147
iterating-progress-unbounded 13672 1.7842361957760405E-6 1148
iterating-progress-unbounded 13684 1.7811011559396651E-6 1149
iterating-progress-unbounded 13696 1.7779743717891925E-6 1150
iterating-progress-unbounded 13708 1.7748558148043863E-6 1151
iterating-progress-unbounded 13720 1.7717454561419314E-6 1152
iterating-progress-unbounded 13731 1.7689014711254363E-6 1153
iterating-progress-unbounded 13743 1.765806745145562E-6 1154
iterating-progress-unbounded 13755 1.762720133670226E-6 1155
iterating-progress-unbounded 13767 1.7596416089919503E-6 1156
iterating-progress-unbounded 13779 1.7565711420353738E-6 1157
iterating-progress-unbounded 13791 1.7535087053392409E-6 1158
iterating-progress-unbounded 13803 1.7504542709303767E-6 1159
iterating-progress-unbounded 13815 1.7474078105122565E-6 1160
iterating-progress-unbounded 13827 1.744369296578007E-6 1161
iterating-progress-unbounded 13839 1.7413387017251231E-6 1162
iterating-progress-unbounded 13851 1.7383159975962157E-6 1163
iterating-progress-unbounded 13862 1.7355520950492934E-6 1164
iterating-progress-unbounded 13874 1.7325444402743745E-6 1165
iterating-progress-unbounded 13886 1.7295445967112702E-6 1166
iterating-progress-unbounded 13898 1.7265525386119272E-6 1167
iterating-progress-unbounded 13910 1.7235682382170294E-6 1168
iterating-progress-unbounded 13922 1.7205916687137963E-6 1169
iterating-progress-unbounded 13934 1.71762280428259E-6 1170
iterating-progress-unbounded 13946 1.7146616170721544E-6 1171
iterating-progress-unbounded 13958 1.7117080812767562E-6 1172
iterating-progress-unbounded 13970 1.7087621709720104E-6 1173
iterating-progress-unbounded 13982 1.7058238593014837E-6 1174
iterating-progress-unbounded 13993 1.703137060006052E-6 1175
iterating-progress-unbounded 14005 1.7002132401073758E-6 1176
iterating-progress-unbounded 14017 1.6972969427732614E-6 1177
iterating-progress-unbounded 14029 1.6943881428590818E-6 1178
iterating-progress-unbounded 14041 1.6914868144728422E-6 1179
iterating-progress-unbounded 14053 1.6885929320467516E-6 1180
iterating-progress-unbounded 14065 1.6857064701223876E-6 1181
iterating-progress-unbounded 14077 1.6828274031417304E-6 1182
iterating-progress-unbounded 14089 1.6799557064881189E-6 1183
iterating-progress-unbounded 14101 1.6770913546155272E-6 1184
iterating-progress-unbounded 14113 1.6742343218587757E-6 1185
iterating-progress-unbounded 14125 1.6713845843520538E-6 1186
iterating-progress-unbounded 14136 1.668778712500405E-6 1187
iterating-progress-unbounded 14148 1.6659428870599113E-6 1188
iterating-progress-unbounded 14160 1.6631142849942836E-6 1189
iterating-progress-unbounded 14172 1.660292881172732E-6 1190
iterating-progress-unbounded 14184 1.6574786507624322E-6 1191
iterating-progress-unbounded 14196 1.6546715700976091E-6 1192
iterating-progress-unbounded 14208 1.6518716145616828E-6 1193
iterating-progress-unbounded 14220 1.6490787606777865E-6 1194
iterating-progress-unbounded 14232 1.6462929836262016E-6 1195
iterating-progress-unbounded 14244 1.6435142601326581E-6 1196
iterating-progress-unbounded 14256 1.6407425664043937E-6 1197
iterating-progress-unbounded 14268 1.6379778785479505E-6 1198
iterating-progress-unbounded 14279 1.635449715256361E-6 1199
iterating-progress-unbounded 14291 1.6326983892380294E-6 1200
iterating-progress-unbounded 14303 1.6299540007677139E-6 1201
iterating-progress-unbounded 14315 1.6272165259065963E-6 1202
iterating-progress-unbounded 14327 1.6244859420778604E-6 1203
iterating-progress-unbounded 14339 1.6217622259622556E-6 1204
iterating-progress-unbounded 14351 1.6190453545474417E-6 1205
iterating-progress-unbounded 14363 1.6163353049171658E-6 1206
iterating-progress-unbounded 14375 1.6136320542511407E-6 1207
iterating-progress-unbounded 14387 1.6109355796205504E-6 1208
iterating-progress-unbounded 14398 1.608469745217173E-6 1209
iterating-progress-unbounded 14410 1.6057861954086163E-6 1210
iterating-progress-unbounded 14422 1.6031093558902876E-6 1211
iterating-progress-unbounded 14434 1.6004392047224211E-6 1212
iterating-progress-unbounded 14446 1.5977757194336935E-6 1213
iterating-progress-unbounded 14458 1.595118877853661E-6 1214
iterating-progress-unbounded 14470 1.5924686581112282E-6 1215
iterating-progress-unbounded 14482 1.5898250375973104E-6 1216
iterating-progress-unbounded 14494 1.5871879952459136E-6 1217
iterating-progress-unbounded 14506 1.5845575086301803E-6 1218
iterating-progress-unbounded 14518 1.581933556242914E-6 1219
iterating-progress-unbounded 14530 1.5793161162528367E-6 1220
iterating-progress-unbounded 14541 1.5769224991985848E-6 1221
iterating-progress-unbounded 14553 1.5743174817873829E-6 1222
iterating-progress-unbounded 14565 1.571718914416783E-6 1223
iterating-progress-unbounded 14577 1.5691267758094935E-6 1224
iterating-progress-unbounded 14589 1.5665410445750595E-6 1225
iterating-progress-unbounded 14601 1.5639617002144164E-6 1226
iterating-progress-unbounded 14613 1.5613887211088709E-6 1227
iterating-progress-unbounded 14625 1.5588220865304968E-6 1228
iterating-progress-unbounded 14637 1.5562617758411263E-6 1229
iterating-progress-unbounded 14649 1.5537077676680311E-6 1230
iterating-progress-unbounded 14661 1.5511600419539589E-6 1231
iterating-progress-unbounded 14673 1.5486185781104795E-6 1232
iterating-progress-unbounded 14684 1.54629438591975E-6 1233
iterating-progress-unbounded 14696 1.5437648659600054E-6 1234
iterating-progress-unbounded 14708 1.5412415482936597E-6 1235
iterating-progress-unbounded 14720 1.5387244122706052E-6 1236
iterating-progress-unbounded 14732 1.5362134383068712E-6 1237
iterating-progress-unbounded 14744 1.5337086057092122E-6 1238
iterating-progress-unbounded 14756 1.531209894867135E-6 1239
iterating-progress-unbounded 14768 1.5287172852384916E-6 1240
iterating-progress-unbounded 14780 1.5262307575827184E-6 1241
iterating-progress-unbounded 14792 1.5237502921292261E-6 1242
iterating-progress-unbounded 14804 1.5212758685793649E-6 1243
iterating-progress-unbounded 14816 1.5188074677338658E-6 1244
iterating-progress-unbounded 14827 1.516550041430836E-6 1245
iterating-progress-unbounded 14839 1.5140931297723937E-6 1246
iterating-progress-unbounded 14851 1.5116421840657778E-6 1247
iterating-progress-unbounded 14863 1.509197185010279E-6 1248
iterating-progress-unbounded 14875 1.5067581133919235E-6 1249
iterating-progress-unbounded 14887 1.5043249500610044E-6 1250
iterating-progress-unbounded 14899 1.5018976759540353E-6 1251
iterating-progress-unbounded 14911 1.4994762720665108E-6 1252
iterating-progress-unbounded 14923 1.4970607194971278E-6 1253
iterating-progress-unbounded 14935 1.4946509996038702E-6 1254
iterating-progress-unbounded 14947 1.4922470928249254E-6 1255
iterating-progress-unbounded 14959 1.489848981669036E-6 1256
iterating-progress-unbounded 14970 1.487655787792052E-6 1257
iterating-progress-unbounded 14982 1.4852687318068304E-6 1258
iterating-progress-unbounded 14994 1.4828874161728912E-6 1259
iterating-progress-unbounded 15006 1.4805118238825447E-6 1260
iterating-progress-unbounded 15018 1.4781419354263723E-6 1261
iterating-progress-unbounded 15030 1.4757777327520014E-6 1262
iterating-progress-unbounded 15042 1.473419198082975E-6 1263
iterating-progress-unbounded 15054 1.4710663131164292E-6 1264
iterating-progress-unbounded 15066 1.4687190596266272E-6 1265
iterating-progress-unbounded 15077 1.466572342894977E-6 1266
iterating-progress-unbounded 15089 1.464235833305492E-6 1267
iterating-progress-unbounded 15101 1.461904903595488E-6 1268
iterating-progress-unbounded 15113 1.4595795354301305E-6 1269
iterating-progress-unbounded 15125 1.4572597113230817E-6 1270
iterating-progress-unbounded 15137 1.4549454136636593E-6 1271
iterating-progress-unbounded 15149 1.4526366247174464E-6 1272
iterating-progress-unbounded 15160 1.4505250597202248E-6 1273
iterating-progress-unbounded 15172 1.448226781128304E-6 1274
iterating-progress-unbounded 15184 1.4459339602875232E-6 1275
iterating-progress-unbounded 15196 1.4436465805079996E-6 1276
iterating-progress-unbounded 15208 1.441364624402776E-6 1277
iterating-progress-unbounded 15220 1.4390880748334754E-6 1278
iterating-progress-unbounded 15232 1.436816914733631E-6 1279
iterating-progress-unbounded 15244 1.434551127108306E-6 1280
iterating-progress-unbounded 15256 1.4322906950125586E-6 1281
iterating-progress-unbounded 15268 1.4300356017899808E-6 1282
iterating-progress-unbounded 15279 1.4279731081568375E-6 1283
iterating-progress-unbounded 15291 1.4257282000974244E-6 1284
iterating-progress-unbounded 15303 1.423488582093379E-6 1285
iterating-progress-unbounded 15315 1.4212542377283892E-6 1286
iterating-progress-unbounded 15327 1.4190251496847109E-6 1287
iterating-progress-unbounded 15339 1.416801301485737E-6 1288
iterating-progress-unbounded 15351 1.414582677683728E-6 1289
iterating-progress-unbounded 15363 1.4123692611600397E-6 1290
iterating-progress-unbounded 15375 1.4101610358211814E-6 1291
iterating-progress-unbounded 15387 1.4079579854457132E-6 1292
iterating-progress-unbounded 15399 1.4057600938757026E-6 1293
iterating-progress-unbounded 15411 1.4035673448257552E-6 1294
iterating-progress-unbounded 15422 1.4015618292628502E-6 1295
iterating-progress-unbounded 15434 1.399378892315788E-6 1296
iterating-progress-unbounded 15446 1.3972010518731212E-6 1297
iterating-progress-unbounded 15458 1.3950282915132118E-6 1298
iterating-progress-unbounded 15470 1.3928605956368165E-6 1299
iterating-progress-unbounded 15482 1.3906979485199544E-6 1300
iterating-progress-unbounded 15494 1.388540334293836E-6 1301
iterating-progress-unbounded 15506 1.3863877379326526E-6 1302
iterating-progress-unbounded 15518 1.3842401433180717E-6 1303
iterating-progress-unbounded 15530 1.382097535346859E-6 1304
iterating-progress-unbounded 15542 1.3799598980137646E-6 1305
iterating-progress-unbounded 15554 1.3778272163432053E-6 1306
iterating-progress-unbounded 15565 1.3758765988406817E-6 1307
iterating-progress-unbounded 15577 1.373753372969005E-6 1308
iterating-progress-unbounded 15589 1.371635058279114E-6 1309
iterating-progress-unbounded 15601 1.3695216398155373E-6 1310
iterating-progress-unbounded 15613 1.367413101936653E-6 1311
iterating-progress-unbounded 15625 1.3653094300079816E-6 1312
iterating-progress-unbounded 15637 1.3632106092517117E-6 1313
iterating-progress-unbounded 15649 1.3611166245757763E-6 1314
iterating-progress-unbounded 15661 1.3590274615123647E-6 1315
iterating-progress-unbounded 15673 1.3569431045134216E-6 1316
iterating-progress-unbounded 15685 1.3548635392249096E-6 1317
iterating-progress-unbounded 15697 1.3527887505920447E-6 1318
iterating-progress-unbounded 15708 1.3508910455489829E-6 1319
iterating-progress-unbounded 15720 1.348825372456526E-6 1320
iterating-progress-unbounded 15732 1.3467644337236207E-6 1321
iterating-progress-unbounded 15744 1.3447082154517166E-6 1322
iterating-progress-unbounded 15756 1.3426567028681661E-6 1323
iterating-progress-unbounded 15768 1.34060988143043E-6 1324
iterating-progress-unbounded 15780 1.338567736849347E-6 1325
iterating-progress-unbounded 15792 1.3365302550680735E-6 1326
iterating-progress-unbounded 15804 1.3344974222809344E-6 1327
iterating-progress-unbounded 15815 1.3326380634821297E-6 1328
iterating-progress-unbounded 15827 1.3306141010937638E-6 1329
iterating-progress-unbounded 15839 1.3285947460719695E-6 1330
iterating-progress-unbounded 15851 1.3265799848161353E-6 1331
iterating-progress-unbounded 15863 1.324569802840263E-6 1332
iterating-progress-unbounded 15875 1.3225641868342937E-6 1333
iterating-progress-unbounded 15887 1.3205631227918805E-6 1334
iterating-progress-unbounded 15899 1.318566596955758E-6 1335
iterating-progress-unbounded 15911 1.3165745956090477E-6 1336
iterating-progress-unbounded 15923 1.3145871049060948E-6 1337
iterating-progress-unbounded 15935 1.312604111978463E-6 1338
iterating-progress-unbounded 15946 1.3107903072205037E-6 1339
iterating-progress-unbounded 15958 1.3088158955506602E-6 1340
iterating-progress-unbounded 15970 1.3068459416926896E-6 1341
iterating-progress-unbounded 15982 1.3048804326116088E-6 1342
iterating-progress-unbounded 15994 1.3029193543921707E-6 1343
iterating-progress-unbounded 16006 1.3009626937251839E-6 1344
iterating-progress-unbounded 16018 1.2990104379013458E-6 1345
iterating-progress-unbounded 16030 1.297062573347299E-6 1346
iterating-progress-unbounded 16042 1.2951190865250313E-6 1347
iterating-progress-unbounded 16054 1.2931799650710735E-6 1348
iterating-progress-unbounded 16066 1.2912451949933086E-6 1349
iterating-progress-unbounded 16078 1.2893147643868987E-6 1350
iterating-progress-unbounded 16089 1.2875490031938748E-6 1351
iterating-progress-unbounded 16101 1.2856268524695345E-6 1352
iterating-progress-unbounded 16113 1.283709003353797E-6 1353
iterating-progress-unbounded 16125 1.2817954420997647E-6 1354
iterating-progress-unbounded 16137 1.2798861568572435E-6 1355
iterating-progress-unbounded 16149 1.2779811339722519E-6 1356
iterating-progress-unbounded 16161 1.2760803618658766E-6 1357
iterating-progress-unbounded 16173 1.2741838271725342E-6 1358
iterating-progress-unbounded 16185 1.2722915174865528E-6 1359
iterating-progress-unbounded 16197 1.2704034202670067E-6 1360
iterating-progress-unbounded 16208 1.2686763543454164E-6 1361
iterating-progress-unbounded 16220 1.2667962959551704E-6 1362
iterating-progress-unbounded 16232 1.2649204142656576E-6 1363
iterating-progress-unbounded 16244 1.263048696004319E-6 1364
iterating-progress-unbounded 16256 1.261181129038526E-6 1365
iterating-progress-unbounded 16268 1.2593177014685089E-6 1366
iterating-progress-unbounded 16280 1.2574584008862244E-6 1367
iterating-progress-unbounded 16292 1.2556032151134666E-6 1368
iterating-progress-unbounded 16304 1.2537521320167392E-6 1369
iterating-progress-unbounded 16316 1.2519051396911026E-6 1370
iterating-progress-unbounded 16328 1.2500622257246576E-6 1371
iterating-progress-unbounded 16340 1.2482233779382564E-6 1372
iterating-progress-unbounded 16351 1.246541330113413E-6 1373
iterating-progress-unbounded 16363 1.2447102433377858E-6 1374
iterating-progress-unbounded 16375 1.2428831887156488E-6 1375
iterating-progress-unbounded 16387 1.2410601538802193E-6 1376
iterating-progress-unbounded 16399 1.2392411274088176E-6 1377
iterating-progress-unbounded 16411 1.2374260971938802E-6 1378
iterating-progress-unbounded 16423 1.2356150515407282E-6 1379
iterating-progress-unbounded 16435 1.233807978968704E-6 1380
iterating-progress-unbounded 16447 1.2320048682287358E-6 1381
iterating-progress-unbounded 16459 1.230205707210055E-6 1382
iterating-progress-unbounded 16471 1.2284104845624336E-6 1383
iterating-progress-unbounded 16483 1.2266191886209268E-6 1384
iterating-progress-unbounded 16495 1.2248318084751134E-6 1385
iterating-progress-unbounded 16506 1.2231968061981948E-6 1386
iterating-progress-unbounded 16518 1.221416898809373E-6 1387
iterating-progress-unbounded 16530 1.2196408737120935E-6 1388
iterating-progress-unbounded 16542 1.2178687192685098E-6 1389
iterating-progress-unbounded 16554 1.2161004245995748E-6 1390
iterating-progress-unbounded 16566 1.2143359786779493E-6 1391
iterating-progress-unbounded 16578 1.2125753703427276E-6 1392
iterating-progress-unbounded 16590 1.2108185881194253E-6 1393
iterating-progress-unbounded 16601 1.2092115562398672E-6 1394
iterating-progress-unbounded 16613 1.2074620768022265E-6 1395
iterating-progress-unbounded 16625 1.205716391629896E-6 1396
iterating-progress-unbounded 16637 1.203974489222269E-6 1397
iterating-progress-unbounded 16649 1.2022363591891513E-6 1398
iterating-progress-unbounded 16661 1.2005019904658804E-6 1399
iterating-progress-unbounded 16673 1.198771372214446E-6 1400
iterating-progress-unbounded 16685 1.1970444936251222E-6 1401
iterating-progress-unbounded 16697 1.195321343754799E-6 1402
iterating-progress-unbounded 16709 1.19360191258206E-6 1403
iterating-progress-unbounded 16721 1.1918861885303297E-6 1404
iterating-progress-unbounded 16733 1.1901741613035773E-6 1405
iterating-progress-unbounded 16744 1.1886080413297048E-6 1406
iterating-progress-unbounded 16756 1.1869030702262365E-6 1407
iterating-progress-unbounded 16768 1.1852017647442313E-6 1408
iterating-progress-unbounded 16780 1.1835041147388974E-6 1409
iterating-progress-unbounded 16792 1.1818101100912745E-6 1410
iterating-progress-unbounded 16804 1.1801197398485691E-6 1411
iterating-progress-unbounded 16816 1.1784329939734206E-6 1412
iterating-progress-unbounded 16828 1.176749861403382E-6 1413
iterating-progress-unbounded 16840 1.1750703330581453E-6 1414
iterating-progress-unbounded 16852 1.1733943974224394E-6 1415
iterating-progress-unbounded 16864 1.1717220451392136E-6 1416
iterating-progress-unbounded 16876 1.1700532651169645E-6 1417
iterating-progress-unbounded 16887 1.1685266805034155E-6 1418
iterating-progress-unbounded 16899 1.1668647201109204E-6 1419
iterating-progress-unbounded 16911 1.1652063032942448E-6 1420
iterating-progress-unbounded 16923 1.1635514196436928E-6 1421
iterating-progress-unbounded 16935 1.1619000589494679E-6 1423
iterating-progress-unbounded 16947 1.1602522113947768E-6 1424
iterating-progress-unbounded 16959 1.1586078666713233E-6 1425
iterating-progress-unbounded 16971 1.1569670157289332E-6 1426
iterating-progress-unbounded 16983 1.1553296479830421E-6 1427
iterating-progress-unbounded 16995 1.1536957535808679E-6 1428
iterating-progress-unbounded 17007 1.152065323049919E-6 1429
iterating-progress-unbounded 17019 1.1504383467821587E-6 1430
iterating-progress-unbounded 17031 1.148814814330899E-6 1431
iterating-progress-unbounded 17042 1.1473295935565363E-6 1432
iterating-progress-unbounded 17054 1.1457126352973883E-6 1433
iterating-progress-unbounded 17066 1.1440990929644667E-6 1434
iterating-progress-unbounded 17078 1.1424889565949498E-6 1435
iterating-progress-unbounded 17090 1.1408822174777204E-6 1436
iterating-progress-unbounded 17102 1.1392788653631511E-6 1437
iterating-progress-unbounded 17114 1.1376788909190396E-6 1438
iterating-progress-unbounded 17126 1.1360822846611106E-6 1439
iterating-progress-unbounded 17138 1.134489037144933E-6 1440
iterating-progress-unbounded 17150 1.1328991391205482E-6 1441
iterating-progress-unbounded 17162 1.13131258086685E-6 1442
iterating-progress-unbounded 17174 1.1297293532065418E-6 1443
iterating-progress-unbounded 17186 1.1281494464781893E-6 1444
iterating-progress-unbounded 17197 1.1267041090259558E-6 1445
iterating-progress-unbounded 17209 1.1251305423289E-6 1446
iterating-progress-unbounded 17221 1.1235602699260166E-6 1447
iterating-progress-unbounded 17233 1.121993282965513E-6 1448
iterating-progress-unbounded 17245 1.1204295717781964E-6 1449
iterating-progress-unbounded 17257 1.118869127409133E-6 1450
iterating-progress-unbounded 17269 1.1173119405944587E-6 1451
iterating-progress-unbounded 17281 1.1157580029557643E-6 1452
iterating-progress-unbounded 17293 1.1142073044320195E-6 1453
iterating-progress-unbounded 17305 1.1126598367140614E-6 1454
iterating-progress-unbounded 17317 1.1111155904908093E-6 1455
iterating-progress-unbounded 17329 1.1095745571648109E-6 1456
iterating-progress-unbounded 17341 1.108036727660237E-6 1457
iterating-progress-unbounded 17353 1.1065020932712964E-6 1458
iterating-progress-unbounded 17364 1.1050981440433993E-6 1459
iterating-progress-unbounded 17376 1.1035696086091537E-6 1460
iterating-progress-unbounded 17388 1.10204424223778E-6 1461
iterating-progress-unbounded 17400 1.1005220361774015E-6 1462
iterating-progress-unbounded 17412 1.099002982209163E-6 1463
iterating-progress-unbounded 17424 1.0974870709593436E-6 1464
iterating-progress-unbounded 17436 1.0959742942753936E-6 1465
iterating-progress-unbounded 17448 1.094464643181393E-6 1466
iterating-progress-unbounded 17460 1.0929581095768404E-6 1467
iterating-progress-unbounded 17472 1.0914546845517285E-6 1468
iterating-progress-unbounded 17484 1.089954359384884E-6 1469
iterating-progress-unbounded 17496 1.0884571257304846E-6 1470
iterating-progress-unbounded 17508 1.0869629751004403E-6 1471
iterating-progress-unbounded 17519 1.0855960381491418E-6 1472
iterating-progress-unbounded 17531 1.0841077728622814E-6 1473
iterating-progress-unbounded 17543 1.0826225660057271E-6 1474
iterating-progress-unbounded 17555 1.0811404095458798E-6 1475
iterating-progress-unbounded 17567 1.0796612944637018E-6 1476
iterating-progress-unbounded 17579 1.078185212943722E-6 1477
iterating-progress-unbounded 17591 1.0767121568666958E-6 1478
iterating-progress-unbounded 17603 1.0752421172969406E-6 1479
iterating-progress-unbounded 17615 1.0737750863393098E-6 1480
iterating-progress-unbounded 17627 1.0723110554525467E-6 1481
iterating-progress-unbounded 17639 1.0708500173000246E-6 1482
iterating-progress-unbounded 17651 1.0693919630627482E-6 1483
iterating-progress-unbounded 17663 1.0679368847863125E-6 1484
iterating-progress-unbounded 17674 1.0666056704189422E-6 1485
iterating-progress-unbounded 17686 1.0651562734684673E-6 1486
iterating-progress-unbounded 17698 1.0637098289495317E-6 1487
iterating-progress-unbounded 17710 1.062266328682555E-6 1488
iterating-progress-unbounded 17722 1.060825765347892E-6 1489
iterating-progress-unbounded 17734 1.059388130150264E-6 1490
iterating-progress-unbounded 17746 1.057953415323531E-6 1491
iterating-progress-unbounded 17758 1.0565216131341466E-6 1492
iterating-progress-unbounded 17770 1.0550927158655527E-6 1493
iterating-progress-unbounded 17782 1.0536667154998234E-6 1494
iterating-progress-unbounded 17794 1.0522436043764401E-6 1495
iterating-progress-unbounded 17806 1.0508233743656417E-6 1496
iterating-progress-unbounded 17818 1.0494060176947624E-6 1497
iterating-progress-unbounded 17830 1.0479915272796524E-6 1498
iterating-progress-unbounded 17841 1.0466974216549084E-6 1499
iterating-progress-unbounded 17853 1.045288402051353E-6 1500
iterating-progress-unbounded 17865 1.0438822255919342E-6 1501
iterating-progress-unbounded 17877 1.0424788849667507E-6 1502
iterating-progress-unbounded 17889 1.041078372224196E-6 1503
iterating-progress-unbounded 17901 1.0396806802632E-6 1504
iterating-progress-unbounded 17913 1.0382858010223535E-6 1505
iterating-progress-unbounded 17925 1.0368937272898352E-6 1506
iterating-progress-unbounded 17937 1.0355044510497588E-6 1507
iterating-progress-unbounded 17949 1.0341179654681134E-6 1508
iterating-progress-unbounded 17961 1.032734262585683E-6 1509
iterating-progress-unbounded 17973 1.0313533349571221E-6 1510
iterating-progress-unbounded 17985 1.0299751754978476E-6 1511
iterating-progress-unbounded 17996 1.0287142879589716E-6 1512
iterating-progress-unbounded 18008 1.0273414131945318E-6 1513
iterating-progress-unbounded 18020 1.0259712847754388E-6 1514
iterating-progress-unbounded 18032 1.0246038958695858E-6 1515
iterating-progress-unbounded 18044 1.023239238690714E-6 1516
iterating-progress-unbounded 18056 1.0218773061322506E-6 1517
iterating-progress-unbounded 18068 1.0205180909395823E-6 1518
iterating-progress-unbounded 18080 1.0191615860538752E-6 1519
iterating-progress-unbounded 18092 1.0178077837840092E-6 1520
iterating-progress-unbounded 18104 1.0164566774471722E-6 1521
iterating-progress-unbounded 18115 1.0152205253524579E-6 1522
iterating-progress-unbounded 18127 1.0138745659305314E-6 1523
iterating-progress-unbounded 18139 1.0125312814800283E-6 1524
iterating-progress-unbounded 18151 1.0111906647552253E-6 1525
iterating-progress-unbounded 18163 1.00985270918148E-6 1526
iterating-progress-unbounded 18175 1.0085174074005897E-6 1527
iterating-progress-unbounded 18187 1.0071847522311316E-6 1528
iterating-progress-unbounded 18199 1.0058547365213082E-6 1529
iterating-progress-unbounded 18211 1.0045273539557233E-6 1530
iterating-progress-unbounded 18223 1.0032025974247548E-6 1531
iterating-progress-unbounded 18235 1.0018804596840215E-6 1532
iterating-progress-unbounded 18246 1.0006707948720045E-6 1533
iterating-progress-unbounded 18258 9.993536575243829E-7 1534
iterating-progress-unbounded 18270 9.980391189088903E-7 1535
iterating-progress-unbounded 18282 9.967271728389675E-7 1536
iterating-progress-unbounded 18294 9.954178116937845E-7 1537
iterating-progress-unbounded 18306 9.94111029009931E-7 1538
iterating-progress-unbounded 18318 9.928068180214096E-7 1539
iterating-progress-unbounded 18330 9.915051716608822E-7 1540
iterating-progress-unbounded 18342 9.902060838541806E-7 1541
iterating-progress-unbounded 18354 9.88909547737919E-7 1542
iterating-progress-unbounded 18366 9.876155563139991E-7 1543
iterating-progress-unbounded 18378 9.863241029268156E-7 1544
iterating-progress-unbounded 18389 9.85142495030598E-7 1545
iterating-progress-unbounded 18401 9.838558879956158E-7 1546
iterating-progress-unbounded 18413 9.825718001905688E-7 1547
iterating-progress-unbounded 18425 9.81290224718684E-7 1548
iterating-progress-unbounded 18437 9.800111548736564E-7 1549
iterating-progress-unbounded 18449 9.787345839650774E-7 1550
iterating-progress-unbounded 18461 9.774605062883021E-7 1551
iterating-progress-unbounded 18473 9.761889147169442E-7 1552
iterating-progress-unbounded 18485 9.749198029453652E-7 1553
iterating-progress-unbounded 18497 9.736531643706451E-7 1554
iterating-progress-unbounded 18509 9.72388992887689E-7 1555
iterating-progress-unbounded 18521 9.711272822555782E-7 1556
iterating-progress-unbounded 18533 9.6986802545201E-7 1557
iterating-progress-unbounded 18545 9.686112162781872E-7 1558
iterating-progress-unbounded 18556 9.674612864046827E-7 1559
iterating-progress-unbounded 18568 9.662091512793549E-7 1560
iterating-progress-unbounded 18580 9.64959445188072E-7 1561
iterating-progress-unbounded 18592 9.637121626471633E-7 1562
iterating-progress-unbounded 18604 9.624672967604523E-7 1563
iterating-progress-unbounded 18616 9.612248412881996E-7 1564
iterating-progress-unbounded 18628 9.59984790326362E-7 1565
iterating-progress-unbounded 18640 9.587471375169544E-7 1566
iterating-progress-unbounded 18652 9.575118768377554E-7 1567
iterating-progress-unbounded 18664 9.562790019736398E-7 1568
iterating-progress-unbounded 18676 9.550485064639214E-7 1569
iterating-progress-unbounded 18688 9.53820384660686E-7 1570
iterating-progress-unbounded 18699 9.526966862348732E-7 1571
iterating-progress-unbounded 18711 9.51473096703277E-7 1572
iterating-progress-unbounded 18723 9.502518629869036E-7 1573
iterating-progress-unbounded 18735 9.490329788820973E-7 1574
iterating-progress-unbounded 18747 9.478164386782703E-7 1575
iterating-progress-unbounded 18759 9.466022362132105E-7 1576
iterating-progress-unbounded 18771 9.453903658168794E-7 1577
iterating-progress-unbounded 18783 9.44180820730862E-7 1578
iterating-progress-unbounded 18795 9.429735956451292E-7 1579
iterating-progress-unbounded 18807 9.417686846222172E-7 1580
iterating-progress-unbounded 18819 9.405660814423223E-7 1581
iterating-progress-unbounded 18831 9.393657803708418E-7 1582
iterating-progress-unbounded 18843 9.381677753767656E-7 1583
iterating-progress-unbounded 18855 9.369720607683914E-7 1584
iterating-progress-unbounded 18866 9.358779962409479E-7 1585
iterating-progress-unbounded 18878 9.346866553953731E-7 1586
iterating-progress-unbounded 18890 9.334975881216456E-7 1587
iterating-progress-unbounded 18902 9.323107884857642E-7 1588
iterating-progress-unbounded 18914 9.311262502505714E-7 1589
iterating-progress-unbounded 18926 9.299439687712028E-7 1590
iterating-progress-unbounded 18938 9.287639373806348E-7 1591
iterating-progress-unbounded 18950 9.275861506847043E-7 1592
iterating-progress-unbounded 18962 9.264106028358346E-7 1593
iterating-progress-unbounded 18974 9.252372883229785E-7 1594
iterating-progress-unbounded 18986 9.2406620164442E-7 1595
iterating-progress-unbounded 18998 9.228973371639475E-7 1596
iterating-progress-unbounded 19010 9.217306889538348E-7 1597
iterating-progress-unbounded 19021 9.206632037124182E-7 1598
iterating-progress-unbounded 19033 9.195007880118645E-7 1599
iterating-progress-unbounded 19045 9.183405722970489E-7 1600
iterating-progress-unbounded 19057 9.171825516391476E-7 1601
iterating-progress-unbounded 19069 9.1602671972931E-7 1602
iterating-progress-unbounded 19081 9.14873071208203E-7 1603
iterating-progress-unbounded 19093 9.137216007387464E-7 1604
iterating-progress-unbounded 19105 9.125723029926558E-7 1605
iterating-progress-unbounded 19117 9.114251725073682E-7 1606
iterating-progress-unbounded 19129 9.102802035301679E-7 1607
iterating-progress-unbounded 19141 9.091373907895963E-7 1608
iterating-progress-unbounded 19153 9.079967290228139E-7 1609
iterating-progress-unbounded 19165 9.068582125313897E-7 1610
iterating-progress-unbounded 19176 9.058164523679518E-7 1611
iterating-progress-unbounded 19188 9.046820329334227E-7 1612
iterating-progress-unbounded 19200 9.035497434447986E-7 1613
iterating-progress-unbounded 19212 9.024195781117623E-7 1614
iterating-progress-unbounded 19224 9.012915319346577E-7 1615
iterating-progress-unbounded 19236 9.001655999215538E-7 1616
iterating-progress-unbounded 19248 8.990417763351778E-7 1617
iterating-progress-unbounded 19260 8.979200560665389E-7 1618
iterating-progress-unbounded 19272 8.968004337175434E-7 1619
iterating-progress-unbounded 19284 8.956829046718212E-7 1620
iterating-progress-unbounded 19296 8.945674629483709E-7 1621
iterating-progress-unbounded 19308 8.934541035034027E-7 1622
iterating-progress-unbounded 19320 8.92342821468937E-7 1623
iterating-progress-unbounded 19331 8.913259666634875E-7 1624
iterating-progress-unbounded 19343 8.902186514540795E-7 1625
iterating-progress-unbounded 19355 8.891133987834032E-7 1626
iterating-progress-unbounded 19367 8.880102030776023E-7 1627
iterating-progress-unbounded 19379 8.869090593867517E-7 1628
iterating-progress-unbounded 19391 8.858099624730166E-7 1629
iterating-progress-unbounded 19403 8.847129078751829E-7 1630
iterating-progress-unbounded 19414 8.837090634604514E-7 1631
iterating-progress-unbounded 19426 8.826159081548295E-7 1632
iterating-progress-unbounded 19438 8.815247798568858E-7 1633
iterating-progress-unbounded 19450 8.804356737088253E-7 1634
iterating-progress-unbounded 19462 8.793485845631205E-7 1635
iterating-progress-unbounded 19474 8.782635075978973E-7 1636
iterating-progress-unbounded 19486 8.771804381492974E-7 1637
iterating-progress-unbounded 19498 8.76099370816544E-7 1638
iterating-progress-unbounded 19510 8.750203006673913E-7 1639
iterating-progress-unbounded 19522 8.739432232392834E-7 1640
iterating-progress-unbounded 19534 8.728681333231372E-7 1641
iterating-progress-unbounded 19546 8.717950258839855E-7 1642
iterating-progress-unbounded 19557 8.708130815866208E-7 1643
iterating-progress-unbounded 19569 8.697437605781786E-7 1644
iterating-progress-unbounded 19581 8.686764080287151E-7 1645
iterating-progress-unbounded 19593 8.676110188067827E-7 1646
iterating-progress-unbounded 19605 8.665475887042269E-7 1647
iterating-progress-unbounded 19617 8.654861126189617E-7 1648
iterating-progress-unbounded 19629 8.644265859163888E-7 1649
iterating-progress-unbounded 19641 8.633690033772401E-7 1650
iterating-progress-unbounded 19653 8.623133608453621E-7 1651
iterating-progress-unbounded 19665 8.612596532829757E-7 1652
iterating-progress-unbounded 19677 8.602078758093346E-7 1653
iterating-progress-unbounded 19689 8.591580237154371E-7 1654
iterating-progress-unbounded 19701 8.581100927519629E-7 1655
iterating-progress-unbounded 19712 8.571511723282451E-7 1656
iterating-progress-unbounded 19724 8.561069097318743E-7 1657
iterating-progress-unbounded 19736 8.550645543479015E-7 1658
iterating-progress-unbounded 19748 8.540241016836503E-7 1659
iterating-progress-unbounded 19760 8.52985546813604E-7 1660
iterating-progress-unbounded 19772 8.519488851245567E-7 1661
iterating-progress-unbounded 19784 8.509141124632416E-7 1662
iterating-progress-unbounded 19796 8.498812239490414E-7 1663
iterating-progress-unbounded 19808 8.488502148567862E-7 1664
iterating-progress-unbounded 19820 8.478210804806522E-7 1665
iterating-progress-unbounded 19832 8.467938170237161E-7 1666
iterating-progress-unbounded 19844 8.457684193596463E-7 1667
iterating-progress-unbounded 19856 8.447448831203956E-7 1668
iterating-progress-unbounded 19868 8.437232036550483E-7 1669
iterating-progress-unbounded 19879 8.427882918489004E-7 1670
iterating-progress-unbounded 19891 8.417701590956173E-7 1671
iterating-progress-unbounded 19903 8.407538702111147E-7 1672
iterating-progress-unbounded 19915 8.397394207380614E-7 1673
iterating-progress-unbounded 19927 8.387268063977008E-7 1674
iterating-progress-unbounded 19939 8.377160224641786E-7 1675
iterating-progress-unbounded 19951 8.367070643807085E-7 1676
iterating-progress-unbounded 19963 8.356999284929936E-7 1677
iterating-progress-unbounded 19975 8.346946096782939E-7 1678
iterating-progress-unbounded 19987 8.336911040085924E-7 1679
iterating-progress-unbounded 19999 8.326894071267313E-7 1680
iterating-progress-unbounded 20011 8.316895143946088E-7 1681
iterating-progress-unbounded 20023 8.30691421628648E-7 1682
iterating-progress-unbounded 20034 8.297780809414079E-7 1683
iterating-progress-unbounded 20046 8.287834259034342E-7 1684
iterating-progress-unbounded 20058 8.277905584258287E-7 1685
iterating-progress-unbounded 20070 8.267994740742381E-7 1686
iterating-progress-unbounded 20082 8.258101685812156E-7 1687
iterating-progress-unbounded 20094 8.248226376970954E-7 1688
iterating-progress-unbounded 20106 8.23836877177463E-7 1689
iterating-progress-unbounded 20118 8.228528826468852E-7 1690
iterating-progress-unbounded 20129 8.219524356938685E-7 1691
iterating-progress-unbounded 20141 8.209718146268204E-7 1692
iterating-progress-unbounded 20153 8.199929474315799E-7 1693
iterating-progress-unbounded 20165 8.190158300740274E-7 1694
iterating-progress-unbounded 20177 8.180404580946293E-7 1695
iterating-progress-unbounded 20189 8.170668274865673E-7 1696
iterating-progress-unbounded 20201 8.160949342477598E-7 1697
iterating-progress-unbounded 20213 8.151247739587278E-7 1698
iterating-progress-unbounded 20225 8.141563424990354E-7 1699
iterating-progress-unbounded 20237 8.131896359130929E-7 1700
iterating-progress-unbounded 20249 8.122246503950662E-7 1701
iterating-progress-unbounded 20261 8.112613814272203E-7 1702
iterating-progress-unbounded 20273 8.102998249401311E-7 1703
iterating-progress-unbounded 20284 8.094198994669749E-7 1704
iterating-progress-unbounded 20296 8.084616143266005E-7 1705
iterating-progress-unbounded 20308 8.075050298661469E-7 1706
iterating-progress-unbounded 20320 8.065501424974402E-7 1707
iterating-progress-unbounded 20332 8.055969479222084E-7 1708
iterating-progress-unbounded 20344 8.046454419921516E-7 1709
iterating-progress-unbounded 20356 8.0369562057587E-7 1710
iterating-progress-unbounded 20368 8.027474804253243E-7 1711
iterating-progress-unbounded 20380 8.018010169963521E-7 1712
iterating-progress-unbounded 20392 8.008562264815133E-7 1713
iterating-progress-unbounded 20404 7.99913104796232E-7 1714
iterating-progress-unbounded 20416 7.989716483001571E-7 1715
iterating-progress-unbounded 20428 7.980318532222166E-7 1716
iterating-progress-unbounded 20440 7.97093715075799E-7 1717
iterating-progress-unbounded 20451 7.962352076056409E-7 1718
iterating-progress-unbounded 20463 7.953002349263724E-7 1719
iterating-progress-unbounded 20475 7.943669081428989E-7 1720
iterating-progress-unbounded 20487 7.934352232506856E-7 1721
iterating-progress-unbounded 20499 7.925051766849301E-7 1722
iterating-progress-unbounded 20511 7.915767644682773E-7 1723
iterating-progress-unbounded 20523 7.906499826278513E-7 1724
iterating-progress-unbounded 20535 7.897248277777022E-7 1725
iterating-progress-unbounded 20547 7.88801295682984E-7 1726
iterating-progress-unbounded 20559 7.878793826933571E-7 1727
iterating-progress-unbounded 20571 7.869590850285272E-7 1728
iterating-progress-unbounded 20583 7.860403990551904E-7 1729
iterating-progress-unbounded 20595 7.851233205839828E-7 1730
iterating-progress-unbounded 20606 7.842840746506889E-7 1731
iterating-progress-unbounded 20618 7.833700675941385E-7 1732
iterating-progress-unbounded 20630 7.824576571343714E-7 1733
iterating-progress-unbounded 20642 7.815468399861804E-7 1734
iterating-progress-unbounded 20654 7.806376121550801E-7 1735
iterating-progress-unbounded 20666 7.797299703721604E-7 1736
iterating-progress-unbounded 20678 7.78823910524541E-7 1737
iterating-progress-unbounded 20690 7.779194289376642E-7 1738
iterating-progress-unbounded 20702 7.770165223762367E-7 1739
iterating-progress-unbounded 20714 7.761151868975304E-7 1740
iterating-progress-unbounded 20726 7.75215418719001E-7 1741


----------
Computation aborted after 1800.1339383125305 seconds since the total time limit of 1800 seconds was exceeded.